blob: 0c9abdb0258ade2f4607dfd5967208559918d103 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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
|
