summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-17 13:59:23 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-17 13:59:23 +0100
commit5ea75d43967d4ae91b1abce1750772976d83ed47 (patch)
tree8cb25b2ae05aa0c7c9f3c55ee66567ff1013269b /scripts
parent0aebed2191d5502f4d7f73c67bf7502ff5342e18 (diff)
Also remove --nosignals in the sysvinit script
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/sysvinit/codeq-prolog2
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