From 263fcd1c35796b04b5aea24ba56ab466d93878b4 Mon Sep 17 00:00:00 2001 From: Devon Mackay Date: Tue, 10 Jul 2018 09:59:12 -0400 Subject: [PATCH] Update comments --- script/dev_server_WIP | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/script/dev_server_WIP b/script/dev_server_WIP index f0a64ae4..202df4fe 100755 --- a/script/dev_server_WIP +++ b/script/dev_server_WIP @@ -1,6 +1,10 @@ #!/bin/bash -# script/local_server: Launch a local dev version of the server +# script/dev_server: Launch a local dev version of the server in the background + +# +# WIP +# source "$(dirname "${0}")"/../script/include/global_header.inc.sh @@ -11,6 +15,7 @@ reap() { exit } +# Register trap trap reap TERM INT # Set server launch related environment variables