diff host/restart.sh @ 1628:520707a70379

add host
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 07 Dec 2021 23:29:58 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/host/restart.sh	Tue Dec 07 23:29:58 2021 -0700
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -e
+
+cd `dirname $0`;
+
+if [ "$1" == "monitoring" ]; then
+	if [ ! -f "started.lock" ]; then
+		echo "stopped with stop script";
+		exit 0;
+    fi;
+fi;
+./stop.sh;
+./start.sh;