diff options
| author | Yehonal <yehonal.azeroth@gmail.com> | 2017-08-20 04:59:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-20 04:59:52 +0200 |
| commit | c854b658828f66f69b13eb62c6a984de8e345b45 (patch) | |
| tree | 0118efcdd8898db4857961009f8eac79ca27b4d4 /modules/acore/startup-scripts/run-engine | |
| parent | fa147d84d29b6ebd99af6f8eb9eb39476d2f0228 (diff) | |
| parent | 0dd68dfbee97eb7ed2c9bd4109ba3f2aed697860 (diff) | |
Merge branch 'master' into master
Diffstat (limited to 'modules/acore/startup-scripts/run-engine')
| -rw-r--r-- | modules/acore/startup-scripts/run-engine | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/modules/acore/startup-scripts/run-engine b/modules/acore/startup-scripts/run-engine index a12ebbc3b2..86391f02a7 100644 --- a/modules/acore/startup-scripts/run-engine +++ b/modules/acore/startup-scripts/run-engine @@ -5,6 +5,16 @@ if [ -e "$RUN_ENGINE_PATH/conf.dist" ]; then source "$RUN_ENGINE_PATH/conf.sh.dist" fi +function finish { + if [ ! -z "$SCREEN_NAME" ]; then + screen -X -S "$SCREEN_NAME" quit + fi +} + +# disabled for now, but could be useful if we want +# shutdown the process if restarter crashes for some reason +# trap finish EXIT + function configureFiles() { TRACE_BEGIN_STRING="SIGSEGV" TRACE_FILE="$LOGS_PATH/"$LOG_PREFIX_NAME"_trace.log" @@ -100,3 +110,4 @@ function restarter() { sleep 10 done } + |