chiark / gitweb /
Merge branch 'master' of ../live-urcm
[modbot-mtm.git] / get-settings
index dda3f5156674149e2c293075be4e4ad41eed265d..746a2e1c5c5ecd894c18b031682958e7ec145108 100644 (file)
@@ -4,8 +4,13 @@ paskeys='KEYSUBMIT KEYSTUMP2WEB KEYWEB2STUMP'
 pas="$paskeys"
 for k in $pas; do eval "$k=''"; export $k; done
 
+DIVERTPOSTINGS=''
+MODLOGSEARCH=false
+MODLOGDOWNLOAD=false
+
 . settings
-export GROUP ABBREV INFOHEADER MODEMAIL GROUPURL
+export GROUP ABBREV INFOHEADER MODEMAIL GROUPURL REJECTIONSLIST
+export DIVERTPOSTINGS MODLOGSEARCH MODLOGDOWNLOAD
 
 . ../global-settings
 export ROOTBASEDIR CGIBASEURL DOMAIN SLIMYDOMAIN OURUSER ADMIN
@@ -18,6 +23,13 @@ export BASEDIR
 
 # derivative settings:
 
+PUBREJOPT=''
+if $PUBLISHREJECTIONS; then
+       PUBREJOPT=-P
+fi
+export PUBREJOPT
+
+
 test -f persistent-autosettings || touch persistent-autosettings
 . persistent-autosettings