Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server

5 files changed, 78 insertions, 0 deletions

diff --git a/prolog/runner/daemon.pl b/prolog/runner/daemon.pl
new file mode 100755
index 0000000..b079d94
--- /dev/null
+++ b/prolog/runner/daemon.pl
@@ -0,0 +1,25 @@
+#!/usr/bin/swipl -q --nosignals -tty -s
+
+% Pengine and HTTP server modules.
+:- use_module(library(http/http_dispatch)).
+:- use_module(library(http/http_error)).
+:- use_module(library(http/thread_httpd)).
+:- use_module(library(http/http_unix_daemon)).
+:- use_module(library(pengines)).
+:- use_module(library(pengines_io)).
+
+:- use_module(library(clpfd)).
+:- use_module(library(clpr)).
+
+:- consult(sandbox).
+
+:- multifile prolog:error_message/3.
+prolog:error_message(time_limit_exceeded) -->
+  [ 'time limit exceeded' ].
+
+:- set_setting(pengine_sandbox:time_limit, 5.0).
+:- set_setting(pengine_sandbox:thread_pool_size, 50).
+
+% Start the server. Set fork(true) if you desire for the process to fork into background. You may also want pidfile(filename).
+% See /usr/lib/swi-prolog/library/http/http_unix_daemon.pl and thread_httpd.pl for all options.
+:- http_daemon([port(3030), ip(localhost), fork(false), workers(10), timeout(30), keep_alive_timeout(30), user(nobody), group(nogroup)]).
diff --git a/scripts/systemd/codeq b/scripts/systemd/codeq
new file mode 100644
index 0000000..83a4e6c
--- /dev/null
+++ b/scripts/systemd/codeq
@@ -0,0 +1,10 @@
+# /etc/default/codeq, common settings for CodeQ programs
+CODEQ_PROBLEMS=/var/local/codeq-problems
+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
+
diff --git a/scripts/systemd/codeq-prolog.service b/scripts/systemd/codeq-prolog.service
new file mode 100644
index 0000000..0c9abdb
--- /dev/null
+++ b/scripts/systemd/codeq-prolog.service
@@ -0,0 +1,13 @@
+# /etc/systemd/system/codeq-prolog.service
+[Unit]
+After=network.target
+Description=CodeQ Prolog daemon
+
+[Service]
+ExecStart=/usr/bin/swipl -q --nosignals -tty -s /var/local/codeq-server/prolog/runner/daemon.pl
+Restart=on-failure
+Type=simple
+StandardInput=null
+StandardOutput=null
+StandardError=null
+
diff --git a/scripts/systemd/codeq-server.service b/scripts/systemd/codeq-server.service
new file mode 100644
index 0000000..26e05f9
--- /dev/null
+++ b/scripts/systemd/codeq-server.service
@@ -0,0 +1,15 @@
+# /etc/systemd/system/codeq-server.service
+[Unit]
+Wants=postgresql.service codeq-prolog.service
+After=network.target postgresql.service codeq-prolog.service
+Description=CodeQ server
+
+[Service]
+ExecStart=/usr/bin/python3 /var/local/codeq-server/daemon.py
+Restart=on-failure
+Type=simple
+StandardInput=null
+StandardOutput=null
+StandardError=null
+EnvironmentFile=-/etc/default/codeq
+
diff --git a/scripts/systemd/codeq-web.service b/scripts/systemd/codeq-web.service
new file mode 100644
index 0000000..92d2076
--- /dev/null
+++ b/scripts/systemd/codeq-web.service
@@ -0,0 +1,15 @@
+# /etc/systemd/system/codeq-web.service
+[Unit]
+Wants=codeq-server.service
+After=network.target codeq-server.service
+Description=CodeQ web services
+
+[Service]
+ExecStart=/usr/bin/nodejs /var/local/codeq-server/web/main.js
+Restart=on-failure
+Type=simple
+StandardInput=null
+StandardOutput=null
+StandardError=null
+EnvironmentFile=-/etc/default/codeq
+