chiark / gitweb /
Some stylistic fixups; get rid of warning when processing pre-publish-rejection log...
[modbot-mtm.git] / get-settings
index dda3f5156674149e2c293075be4e4ad41eed265d..4226b295849c3d42ef847bdd71c9115fecc74977 100644 (file)
@@ -5,7 +5,7 @@ pas="$paskeys"
 for k in $pas; do eval "$k=''"; export $k; done
 
 . settings
-export GROUP ABBREV INFOHEADER MODEMAIL GROUPURL
+export GROUP ABBREV INFOHEADER MODEMAIL GROUPURL REJECTIONSLIST
 
 . ../global-settings
 export ROOTBASEDIR CGIBASEURL DOMAIN SLIMYDOMAIN OURUSER ADMIN
@@ -18,6 +18,13 @@ export BASEDIR
 
 # derivative settings:
 
+PUBREJOPT=''
+if $PUBLISHREJECTIONS; then
+       PUBREJOPT=-P
+fi
+export PUBREJOPT
+
+
 test -f persistent-autosettings || touch persistent-autosettings
 . persistent-autosettings