diff options
| -rwxr-xr-x | scripts/sysvinit/codeq-prolog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/sysvinit/codeq-prolog b/scripts/sysvinit/codeq-prolog index 32d297a..ce7dc59 100755 --- a/scripts/sysvinit/codeq-prolog +++ b/scripts/sysvinit/codeq-prolog @@ -25,7 +25,7 @@ SCRIPTNAME=/etc/init.d/$NAME SCRIPT=$CODEQ_SERVER/prolog/runner/daemon.pl PROLOG=/usr/bin/swipl -PROLOG_ARGS="-q --nosignals -tty -s $SCRIPT" +PROLOG_ARGS="-q -tty -s $SCRIPT" # Exit if Prolog is not installed [ -x "$PROLOG" ] || exit 0 |