# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1457127138 -3600
# Node ID acde4b72903481d0735705529e82863bb982f111
# Parent  ca31e4f677e5fdda5c01176ec299b83629cbfd59
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)

diff -r ca31e4f677e5 -r acde4b729034 src/libervia.sh
--- 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 $@