diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-17 13:59:23 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-17 13:59:23 +0100 |
| commit | 5ea75d43967d4ae91b1abce1750772976d83ed47 (patch) | |
| tree | 8cb25b2ae05aa0c7c9f3c55ee66567ff1013269b /scripts | |
| parent | 0aebed2191d5502f4d7f73c67bf7502ff5342e18 (diff) | |
Also remove --nosignals in the sysvinit script
Diffstat (limited to 'scripts')
| -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 |