diff options
| author | 陈冠林 <[email protected]> | 2019-06-20 14:36:28 +0800 |
|---|---|---|
| committer | 陈冠林 <[email protected]> | 2019-06-20 14:36:28 +0800 |
| commit | 6632fbe94596453cbacd8081509bda91783502b5 (patch) | |
| tree | df9928097ce6bca59ab53c22ef56fecdd8069c3f | |
| parent | d6a156f84721709ae568dac566ab2327d2edb944 (diff) | |
添加守护脚本
| -rw-r--r-- | src/gie_server.sh | 3 | ||||
| -rw-r--r-- | src/setup.sh | 5 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/gie_server.sh b/src/gie_server.sh new file mode 100644 index 0000000..0c7c612 --- /dev/null +++ b/src/gie_server.sh @@ -0,0 +1,3 @@ +killall setup.sh +killall GIE_server +./setup.sh &> out.file & diff --git a/src/setup.sh b/src/setup.sh new file mode 100644 index 0000000..9b30387 --- /dev/null +++ b/src/setup.sh @@ -0,0 +1,5 @@ +#!/bin/sh +while [[ "1" = "1" ]]; do + ./GIE_server + sleep 10 +done |