# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1510912894 -3600
# Node ID 8c9fdb58de5f0863765bddcbf9e1961d3d9bdb77
# Parent  a78169c1bf775c73393d5608ef0e57ae6b0b4a96
server (libervia.sh): force python 2 to launch twistd, and avoid launching wrong version if twistd is installed for python 3 too

diff -r a78169c1bf77 -r 8c9fdb58de5f src/libervia.sh
--- a/src/libervia.sh	Wed Nov 15 09:00:00 2017 +0100
+++ b/src/libervia.sh	Fri Nov 17 11:01:34 2017 +0100
@@ -3,6 +3,7 @@
 DEBUG=""
 DAEMON=""
 PYTHON="python2"
+TWISTD="$(which twistd)"
 
 kill_process() {
     # $1 is the file containing the PID to kill, $2 is the process name
@@ -103,4 +104,4 @@
     mkdir $log_dir
 fi
 
-exec twistd $MAIN_OPTIONS $ADDITIONAL_OPTIONS $APP_NAME_FILE $PLUGIN_OPTIONS $@
+exec $PYTHON $TWISTD $MAIN_OPTIONS $ADDITIONAL_OPTIONS $APP_NAME_FILE $PLUGIN_OPTIONS $@