diff options
| -rwxr-xr-x | run-local.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/run-local.sh b/run-local.sh index 6cbb3568..1123c58e 100755 --- a/run-local.sh +++ b/run-local.sh @@ -11,15 +11,6 @@ if [ ! -f $CONFIG ]; then echo "please edit it as you see fit" cp $EXAMPLE $CONFIG fi -if [ `cat $CONFIG | grep access_control | grep True | wc -l` == 1 -a ! -e $HTPASSWD ] ; then - echo "missing htpasswd file. Please create an input file containing" - echo "username,password" - echo "on every line, one line per user" - echo "place it in for instance res/etc/htpasswd-init-file" - echo "and run" - echo "src/local/rz_cli_tool.py --init-htpasswd-db --config-dir res/etc --htpasswd-init-file res/etc/htpasswd-init-file" - exit 1 -fi make # building css relies on Makefile ant -f build.ant deploy-local cd deploy-local |