Join script should rule out retired usernames

[bpt/portal.git] / config.sig

diff --git a/config.sig b/config.sig
index 1fe37f8..a18551b 100644 (file)
--- a/config.sig
+++ b/config.sig
@@ -5,5 +5,9 @@ val urlPrefix : string
 val emailSuffix : string
 val boardEmail : string
 val dbstring : string
+val kerberosSuffix : string
+val passwordFiles : string
+
+val passgenDbstring : string
 
 end