diff options
Diffstat (limited to 'bin/config-include/config_IG.ini')
-rw-r--r-- | bin/config-include/config_IG.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/config-include/config_IG.ini b/bin/config-include/config_IG.ini index 186f728..bd809bf 100644 --- a/bin/config-include/config_IG.ini +++ b/bin/config-include/config_IG.ini | |||
@@ -35,9 +35,11 @@ | |||
35 | HostName = "grid.infinitegrid.org" | 35 | HostName = "grid.infinitegrid.org" |
36 | BaseURL = ${Const|BaseHostname} | 36 | BaseURL = ${Const|BaseHostname} |
37 | GridURL = ${Const|BaseHostname} | 37 | GridURL = ${Const|BaseHostname} |
38 | SSLURL = "https://${Const|HostName}" | ||
38 | 39 | ||
39 | PublicPort = "8002" | 40 | PublicPort = "8002" |
40 | PrivatePort = "8003" | 41 | PrivatePort = "8003" |
42 | PublicSSLPort = "8443" | ||
41 | 43 | ||
42 | ; The public port of the ROBUST asset server, which might be different. | 44 | ; The public port of the ROBUST asset server, which might be different. |
43 | AssetServerPort = "8003" | 45 | AssetServerPort = "8003" |