diff host/serve.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/serve.sh	Tue Dec 07 23:29:58 2021 -0700
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+set -e
+
+. check_app.sh
+
+checkStopped;
+
+luan run.luan console 2>&1 | tee err