Update command line to grant domain permission

[hcoop/zz_old/portal.git] / config.sml

diff --git a/config.sml b/config.sml
index 2d5f92a..25a4cdb 100644 (file)
--- a/config.sml
+++ b/config.sml
@@ -1,6 +1,6 @@
 structure Config :> CONFIG = struct
 
-val scratchDir = "/afs/hcoop.net/usr/hcoop"
+val scratchDir = "/afs/hcoop.net/user/h/hc/hcoop"
 val urlPrefix = "https://members2.hcoop.net/portal/"
 val emailSuffix = "@hcoop.net"
 val boardEmail = "board" ^ emailSuffix