heckyel/mediagoblin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

lazyserver.sh: Try paste_local.ini before paste.ini

Browse Source 
If users have a paste_local.ini, use that one instead of
the shipped paste.ini.
That way local changes will not interfere with the main
shipped config.

Also improve the help string (./lazyserver.sh -h) a bit.
This commit is contained in:
Elrond 2011-10-23 23:54:00 +02:00
parent 312643c12c
commit b63eadb08c
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
lazyserver.sh
View File

@ -18,13 +18,24 @@
if [ "$1" = "-h" ]
then
echo "$0 [-h] [-c paste.ini] ARGS_to_paster"
echo "$0 [-h] [-c paste.ini] [ARGS_to_paster ...]"
echo ""
echo " For example:"
echo " $0 -c fcgi.ini port_number=23371"
echo " $0 -c fcgi.ini port_number=23371"
echo " or: $0 --server-name=fcgi"
echo ""
echo " The configfile defaults to paste_local.ini,"
echo " if that is readable, otherwise paste.ini."
exit 1
fi
PASTE_INI=paste.ini
if [ -r paste_local.ini ]
then
PASTE_INI=paste_local.ini
fi
if [ "$1" = "-c" ]
then
PASTE_INI="$2"
@ -32,6 +43,8 @@ then
shift
fi
echo "Using paste config: $PASTE_INI"
if [ -f ./bin/paster ]; then
echo "Using ./bin/paster";
export PASTER="./bin/paster";