Make webbw stats location configurable

diff --git a/config.sig b/config.sig
index a18551b..6433593 100644 (file)
--- a/config.sig
+++ b/config.sig
@@ -7,7 +7,7 @@ val boardEmail : string
 val dbstring : string
 val kerberosSuffix : string
 val passwordFiles : string
-
 val passgenDbstring : string
+val statsRoot : string
 
 end

diff --git a/config.sml b/config.sml
index 4797cd1..27b497b 100644 (file)
--- a/config.sml
+++ b/config.sml
@@ -13,4 +13,6 @@ val passwordFiles = "/var/lib/portal/"
 
 val passgenDbstring = "dbname='passgen' user='hcoop' host='postgres' port=5433"
 
+val statsRoot = "/afs/hcoop.net/user/h/hc/hcoop/portal-tools/etc/stats/"
+
 end

diff --git a/stats.sml b/stats.sml
index 1e61f2d..39aef14 100644 (file)
--- a/stats.sml
+++ b/stats.sml
@@ -1,8 +1,8 @@
 structure Stats :> STATS =
 struct
-   val webbw = "/etc/stats/webbw"
-   val webbw_last = "/etc/stats/webbw.last"
-   val webbw_last2 = "/etc/stats/webbw.last2"
+   val webbw = Config.statsRoot ^ "webbw"
+   val webbw_last = Config.statsRoot ^ "webbw.last"
+   val webbw_last2 = Config.statsRoot ^ "webbw.last2"
 
    type host = {ssl : bool,
                hostname : string,