changeset 877:acde4b729034

added exec to launch twistd in libervia.sh, so twistd replace the script process, which is useful particularly in foreground mode (signals can be catched correclty for instance)
author Goffi <goffi@goffi.org>
date Fri, 04 Mar 2016 22:32:18 +0100 (2016-03-04)
parents ca31e4f677e5
children 2aaac0605ae2
files src/libervia.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/libervia.sh	Fri Mar 04 10:39:26 2016 +0100
+++ b/src/libervia.sh	Fri Mar 04 22:32:18 2016 +0100
@@ -103,4 +103,4 @@
     mkdir $log_dir
 fi
 
-twistd $MAIN_OPTIONS $ADDITIONAL_OPTIONS $APP_NAME_FILE $PLUGIN_OPTIONS $@
+exec twistd $MAIN_OPTIONS $ADDITIONAL_OPTIONS $APP_NAME_FILE $PLUGIN_OPTIONS $@