release portal3 into production

[hcoop/portal.git] / config.sml

diff --git a/config.sml b/config.sml
index 42eac5f..2af252f 100644 (file)
--- a/config.sml
+++ b/config.sml
@@ -1,11 +1,11 @@
 structure Config :> CONFIG = struct
 
 val scratchDir = "/afs/hcoop.net/user/h/hc/hcoop"
-val urlPrefix = "https://members3.hcoop.net/portal/"
+val urlPrefix = "https://members.hcoop.net/portal/"
 val emailSuffix = "@hcoop.net"
 val boardEmail = "board" ^ emailSuffix
 
-val dbstring = "dbname='hcoop_portal3test' user='hcoop' host='postgres' port=5433"
+val dbstring = "dbname='hcoop_portal3' user='hcoop' host='postgres' port=5433"
 
 val kerberosSuffix = "@HCOOP.NET"