diff options
| -rwxr-xr-x | packaging/docker/mkhtml.sh | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/packaging/docker/mkhtml.sh b/packaging/docker/mkhtml.sh index e836b71..f23db5d 100755 --- a/packaging/docker/mkhtml.sh +++ b/packaging/docker/mkhtml.sh @@ -1,8 +1,15 @@ #! /bin/sh -DESTDIR="$1" -[ -z "$DESTDIR" ] && DESTDIR=/var/www/html/radsecproxy +REBUILD_TIMEOUT="$1" +[ -z "$REBUILD_TIMEOUT" ] && REBUILD_TIMEOUT=0 +[ -z "$HTML_DESTDIR" ] && HTML_DESTDIR=/var/www/html/radsecproxy if [ -f /usr/local/src/radsecproxy-web/Makefile ]; then - make -C /usr/local/src/radsecproxy-web DESTDIR=$DESTDIR + make -C /usr/local/src/radsecproxy-web DESTDIR=$HTML_DESTDIR +fi + +if [ $REBUILD_TIMEOUT -gt 0 ]; then + while true; do + sleep $REBUILD_TIMEOUT + done fi |