From e8db7666a4af5c27a14fce18a55c4b82c84de86b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Se=C3=A1n=20Healy?= Date: Mon, 20 Apr 2026 14:56:00 +0100 Subject: [PATCH] QueryCI eats its own dog food. --- automation/restart.sh | 2 ++ automation/rules | 1 + start.sh | 4 ++++ 3 files changed, 7 insertions(+) create mode 100755 automation/restart.sh create mode 100644 automation/rules create mode 100755 start.sh diff --git a/automation/restart.sh b/automation/restart.sh new file mode 100755 index 0000000..0d76aa1 --- /dev/null +++ b/automation/restart.sh @@ -0,0 +1,2 @@ +#!/usr/bin/bash +killall -9 swipl diff --git a/automation/rules b/automation/rules new file mode 100644 index 0000000..c6540b6 --- /dev/null +++ b/automation/rules @@ -0,0 +1 @@ +restart when modified:/server.pl diff --git a/start.sh b/start.sh new file mode 100755 index 0000000..eb6b35d --- /dev/null +++ b/start.sh @@ -0,0 +1,4 @@ +#!/bin/bash +while true; do + swipl -q -f ./server.pl -g main -t halt +done