diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/systemd/codeq | 4 | ||||
| -rw-r--r-- | scripts/sysvinit/codeq | 12 | ||||
| -rwxr-xr-x | scripts/sysvinit/codeq-prolog | 141 | ||||
| -rwxr-xr-x | scripts/sysvinit/codeq-server | 141 | ||||
| -rwxr-xr-x | scripts/sysvinit/codeq-web | 141 |
5 files changed, 438 insertions, 1 deletions
diff --git a/scripts/systemd/codeq b/scripts/systemd/codeq index 83a4e6c..28b133b 100644 --- a/scripts/systemd/codeq +++ b/scripts/systemd/codeq @@ -1,5 +1,7 @@ # /etc/default/codeq, common settings for CodeQ programs CODEQ_PROBLEMS=/var/local/codeq-problems +CODEQ_SERVER=/var/local/codeq-server +CODEQ_WEB=/var/local/codeq-web CODEQ_WEB_OUTPUT=/var/www/html/data CODEQ_DB_HOST=localhost CODEQ_DB_DATABASE=codeq @@ -7,4 +9,4 @@ CODEQ_DB_USER=codeq CODEQ_DB_PASS=c0d3q CODEQ_SERVER_LOG=/var/log/codeq-server.log CODEQ_WEB_LOG=/var/log/codeq-web.log - +CODEQ_GIT_BRANCH=release diff --git a/scripts/sysvinit/codeq b/scripts/sysvinit/codeq new file mode 100644 index 0000000..28b92a1 --- /dev/null +++ b/scripts/sysvinit/codeq @@ -0,0 +1,12 @@ +# /etc/default/codeq, common settings for CodeQ programs +CODEQ_PROBLEMS=/var/local/codeq-problems +CODEQ_SERVER=/var/local/codeq-server +CODEQ_WEB=/var/local/codeq-web +CODEQ_WEB_OUTPUT=/var/www/html/data +CODEQ_DB_HOST=localhost +CODEQ_DB_DATABASE=codeq +CODEQ_DB_USER=codeq +CODEQ_DB_PASS=c0d3q +CODEQ_SERVER_LOG=/var/log/codeq-server.log +CODEQ_WEB_LOG=/var/log/codeq-web.log +CODEQ_GIT_BRANCH=master diff --git a/scripts/sysvinit/codeq-prolog b/scripts/sysvinit/codeq-prolog new file mode 100755 index 0000000..32d297a --- /dev/null +++ b/scripts/sysvinit/codeq-prolog @@ -0,0 +1,141 @@ +#! /bin/sh +### BEGIN INIT INFO +# Provides: codeq-prolog +# Required-Start: $local_fs $remote_fs $network +# Required-Stop: $local_fs $remote_fs +# Default-Start: 2 3 4 5 +# Default-Stop: 0 1 6 +# Short-Description: CodeQ Prolog initscript +# Description: Init script for running CodeQ Prolog as a daemon +### END INIT INFO + +# Author: Aleš Smodiš <aless@guru.si> + +# Do NOT "set -e" + +# PATH should only include /usr/* if it runs after the mountnfs.sh script +PATH=/sbin:/usr/sbin:/bin:/usr/bin +DESC="CodeQ Prolog daemon" +NAME=codeq-prolog +PIDFILE=/var/run/$NAME.pid +SCRIPTNAME=/etc/init.d/$NAME + +# Read configuration variable file if it is present +[ -r /etc/default/codeq ] && . /etc/default/codeq + +SCRIPT=$CODEQ_SERVER/prolog/runner/daemon.pl +PROLOG=/usr/bin/swipl +PROLOG_ARGS="-q --nosignals -tty -s $SCRIPT" + +# Exit if Prolog is not installed +[ -x "$PROLOG" ] || exit 0 +# Exit if the script does not exist +[ -f "$SCRIPT" ] || exit 0 + +# Load the VERBOSE setting and other rcS variables +. /lib/init/vars.sh + +# Define LSB log_* functions. +# Depend on lsb-base (>= 3.2-14) to ensure that this file is present +# and status_of_proc is working. +. /lib/lsb/init-functions + +# +# Function that starts the daemon/service +# +do_start() +{ + # Return + # 0 if daemon has been started + # 1 if daemon was already running + # 2 if daemon could not be started + start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $PROLOG --background --make-pidfile --test > /dev/null \ + || return 1 + start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $PROLOG --background --make-pidfile -- $PROLOG_ARGS \ + || return 2 +} + +# +# Function that stops the daemon/service +# +do_stop() +{ + # Return + # 0 if daemon has been stopped + # 1 if daemon was already stopped + # 2 if daemon could not be stopped + # other if a failure occurred + start-stop-daemon --stop --quiet --pidfile $PIDFILE --retry=TERM/15/KILL/5 --remove-pidfile + RETVAL="$?" + return "$RETVAL" +} + +# +# Function that sends a SIGHUP to the daemon/service +# +do_reload() { + # + # If the daemon can reload its configuration without + # restarting (for example, when it is sent a SIGHUP), + # then implement that here. + # + start-stop-daemon --stop --signal 1 --quiet --pidfile $PIDFILE --name $NAME + return 0 +} + +case "$1" in + start) + [ "$VERBOSE" != no ] && log_daemon_msg "Starting $DESC" + do_start + case "$?" in + 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;; + 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;; + esac + ;; + stop) + [ "$VERBOSE" != no ] && log_daemon_msg "Stopping $DESC" + do_stop + case "$?" in + 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;; + 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;; + esac + ;; + status) + status_of_proc -p $PIDFILE "$PROLOG" $NAME && exit 0 || exit $? + ;; + #reload|force-reload) + # + # If do_reload() is not implemented then leave this commented out + # and leave 'force-reload' as an alias for 'restart'. + # + #log_daemon_msg "Reloading $DESC" + #do_reload + #log_end_msg $? + #;; + restart|force-reload) + # + # If the "reload" option is implemented then remove the + # 'force-reload' alias + # + log_daemon_msg "Restarting $DESC" + do_stop + case "$?" in + 0|1) + do_start + case "$?" in + 0) log_end_msg 0 ;; + 1) log_end_msg 1 ;; # Old process is still running + *) log_end_msg 1 ;; # Failed to start + esac + ;; + *) + # Failed to stop + log_end_msg 1 + ;; + esac + ;; + *) + echo "Usage: $SCRIPTNAME {start|stop|status|restart|force-reload}" >&2 + exit 3 + ;; +esac diff --git a/scripts/sysvinit/codeq-server b/scripts/sysvinit/codeq-server new file mode 100755 index 0000000..92a1ac8 --- /dev/null +++ b/scripts/sysvinit/codeq-server @@ -0,0 +1,141 @@ +#! /bin/sh +### BEGIN INIT INFO +# Provides: codeq-server +# Required-Start: $local_fs $remote_fs $network postgresql codeq-prolog +# Required-Stop: $local_fs $remote_fs postgresql codeq-prolog +# Default-Start: 2 3 4 5 +# Default-Stop: 0 1 6 +# Short-Description: CodeQ server initscript +# Description: Init script for running CodeQ server as a daemon +### END INIT INFO + +# Author: Aleš Smodiš <aless@guru.si> + +# Do NOT "set -e" + +# PATH should only include /usr/* if it runs after the mountnfs.sh script +PATH=/sbin:/usr/sbin:/bin:/usr/bin +DESC="CodeQ server daemon" +NAME=codeq-server +PIDFILE=/var/run/$NAME.pid +SCRIPTNAME=/etc/init.d/$NAME + +# Read configuration variable file if it is present +[ -r /etc/default/codeq ] && . /etc/default/codeq + +PYTHON=/usr/bin/python3 +SCRIPT=$CODEQ_SERVER/daemon.py + +# Exit if Python is not installed +[ -x "$PYTHON" ] || exit 0 +# Exit if the script does not exist +[ -f "$SCRIPT" ] || exit 0 + +# Load the VERBOSE setting and other rcS variables +. /lib/init/vars.sh + +# Define LSB log_* functions. +# Depend on lsb-base (>= 3.2-14) to ensure that this file is present +# and status_of_proc is working. +. /lib/lsb/init-functions + +# +# Function that starts the daemon/service +# +do_start() +{ + # Return + # 0 if daemon has been started + # 1 if daemon was already running + # 2 if daemon could not be started + export CODEQ_PROBLEMS CODEQ_DB_HOST CODEQ_DB_DATABASE CODEQ_DB_USER CODEQ_DB_PASS CODEQ_SERVER_LOG + start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $PYTHON --background --make-pidfile --test > /dev/null \ + || return 1 + start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $PYTHON --background --make-pidfile -- $SCRIPT \ + || return 2 +} + +# +# Function that stops the daemon/service +# +do_stop() +{ + # Return + # 0 if daemon has been stopped + # 1 if daemon was already stopped + # 2 if daemon could not be stopped + # other if a failure occurred + start-stop-daemon --stop --quiet --pidfile $PIDFILE --retry=TERM/15/KILL/5 --remove-pidfile + RETVAL="$?" + return "$RETVAL" +} + +# +# Function that sends a SIGHUP to the daemon/service +# +do_reload() { + # + # If the daemon can reload its configuration without + # restarting (for example, when it is sent a SIGHUP), + # then implement that here. + # + start-stop-daemon --stop --signal 1 --quiet --pidfile $PIDFILE --name $NAME + return 0 +} + +case "$1" in + start) + [ "$VERBOSE" != no ] && log_daemon_msg "Starting $DESC" + do_start + case "$?" in + 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;; + 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;; + esac + ;; + stop) + [ "$VERBOSE" != no ] && log_daemon_msg "Stopping $DESC" + do_stop + case "$?" in + 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;; + 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;; + esac + ;; + status) + status_of_proc -p $PIDFILE "$PYTHON" $NAME && exit 0 || exit $? + ;; + #reload|force-reload) + # + # If do_reload() is not implemented then leave this commented out + # and leave 'force-reload' as an alias for 'restart'. + # + #log_daemon_msg "Reloading $DESC" + #do_reload + #log_end_msg $? + #;; + restart|force-reload) + # + # If the "reload" option is implemented then remove the + # 'force-reload' alias + # + log_daemon_msg "Restarting $DESC" + do_stop + case "$?" in + 0|1) + do_start + case "$?" in + 0) log_end_msg 0 ;; + 1) log_end_msg 1 ;; # Old process is still running + *) log_end_msg 1 ;; # Failed to start + esac + ;; + *) + # Failed to stop + log_end_msg 1 + ;; + esac + ;; + *) + echo "Usage: $SCRIPTNAME {start|stop|status|restart|force-reload}" >&2 + exit 3 + ;; +esac diff --git a/scripts/sysvinit/codeq-web b/scripts/sysvinit/codeq-web new file mode 100755 index 0000000..56a2f35 --- /dev/null +++ b/scripts/sysvinit/codeq-web @@ -0,0 +1,141 @@ +#! /bin/sh +### BEGIN INIT INFO +# Provides: codeq-web +# Required-Start: $local_fs $remote_fs $network codeq-server +# Required-Stop: $local_fs $remote_fs codeq-server +# Default-Start: 2 3 4 5 +# Default-Stop: 0 1 6 +# Short-Description: CodeQ web services initscript +# Description: Init script for running CodeQ web services as a daemon +### END INIT INFO + +# Author: Aleš Smodiš <aless@guru.si> + +# Do NOT "set -e" + +# PATH should only include /usr/* if it runs after the mountnfs.sh script +PATH=/sbin:/usr/sbin:/bin:/usr/bin +DESC="CodeQ web services daemon" +NAME=codeq-web +PIDFILE=/var/run/$NAME.pid +SCRIPTNAME=/etc/init.d/$NAME + +# Read configuration variable file if it is present +[ -r /etc/default/codeq ] && . /etc/default/codeq + +NODEJS=/usr/bin/nodejs +SCRIPT=$CODEQ_SERVER/web/main.js + +# Exit if Node is not installed +[ -x "$NODEJS" ] || exit 0 +# Exit if the script does not exist +[ -f "$SCRIPT" ] || exit 0 + +# Load the VERBOSE setting and other rcS variables +. /lib/init/vars.sh + +# Define LSB log_* functions. +# Depend on lsb-base (>= 3.2-14) to ensure that this file is present +# and status_of_proc is working. +. /lib/lsb/init-functions + +# +# Function that starts the daemon/service +# +do_start() +{ + # Return + # 0 if daemon has been started + # 1 if daemon was already running + # 2 if daemon could not be started + export CODEQ_WEB_LOG + start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $NODEJS --background --make-pidfile --test > /dev/null \ + || return 1 + start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $NODEJS --background --make-pidfile -- $SCRIPT \ + || return 2 +} + +# +# Function that stops the daemon/service +# +do_stop() +{ + # Return + # 0 if daemon has been stopped + # 1 if daemon was already stopped + # 2 if daemon could not be stopped + # other if a failure occurred + start-stop-daemon --stop --quiet --pidfile $PIDFILE --retry=TERM/15/KILL/5 --remove-pidfile + RETVAL="$?" + return "$RETVAL" +} + +# +# Function that sends a SIGHUP to the daemon/service +# +do_reload() { + # + # If the daemon can reload its configuration without + # restarting (for example, when it is sent a SIGHUP), + # then implement that here. + # + start-stop-daemon --stop --signal 1 --quiet --pidfile $PIDFILE --name $NAME + return 0 +} + +case "$1" in + start) + [ "$VERBOSE" != no ] && log_daemon_msg "Starting $DESC" + do_start + case "$?" in + 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;; + 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;; + esac + ;; + stop) + [ "$VERBOSE" != no ] && log_daemon_msg "Stopping $DESC" + do_stop + case "$?" in + 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;; + 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;; + esac + ;; + status) + status_of_proc -p $PIDFILE "$NODEJS" $NAME && exit 0 || exit $? + ;; + #reload|force-reload) + # + # If do_reload() is not implemented then leave this commented out + # and leave 'force-reload' as an alias for 'restart'. + # + #log_daemon_msg "Reloading $DESC" + #do_reload + #log_end_msg $? + #;; + restart|force-reload) + # + # If the "reload" option is implemented then remove the + # 'force-reload' alias + # + log_daemon_msg "Restarting $DESC" + do_stop + case "$?" in + 0|1) + do_start + case "$?" in + 0) log_end_msg 0 ;; + 1) log_end_msg 1 ;; # Old process is still running + *) log_end_msg 1 ;; # Failed to start + esac + ;; + *) + # Failed to stop + log_end_msg 1 + ;; + esac + ;; + *) + echo "Usage: $SCRIPTNAME {start|stop|status|restart|force-reload}" >&2 + exit 3 + ;; +esac |