# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1510912799 -3600
# Node ID a34b4fca16e24f0302f40b7e802f7ff13df2e19f
# Parent  91bbad17fd534ba3cdd730815fcceb500e76ca36
core (sat.sh): force python 2 to launch twistd, and avoid launching wrong version if twistd is installed for python 3 too

diff -r 91bbad17fd53 -r a34b4fca16e2 src/sat.sh
--- a/src/sat.sh	Thu Nov 16 07:31:00 2017 +0100
+++ b/src/sat.sh	Fri Nov 17 10:59:59 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
+exec $PYTHON $TWISTD $MAIN_OPTIONS $ADDITIONAL_OPTIONS $APP_NAME_FILE