From 2b426cb784d204305db94795dc15ea4c12a96abc Mon Sep 17 00:00:00 2001 From: Devon Mackay Date: Tue, 10 Jul 2018 09:48:16 -0400 Subject: [PATCH] Add script to background a server launch --- script/dev_server_WIP | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 script/dev_server_WIP diff --git a/script/dev_server_WIP b/script/dev_server_WIP new file mode 100755 index 00000000..f0a64ae4 --- /dev/null +++ b/script/dev_server_WIP @@ -0,0 +1,26 @@ +#!/bin/bash + +# script/local_server: Launch a local dev version of the server + +source "$(dirname "${0}")"/../script/include/global_header.inc.sh + +# Create a function to trap signals with +reap() { + kill -TERM "${child}" + sleep 0.1 + exit +} + +trap reap TERM INT + +# Set server launch related environment variables +DEBUG=1 +LAUNCH_ARGS="$*" + +# Launch the app +source ./script/server + +# Capture the PID of the child process +child=$! + +wait $child