# HG changeset patch
# User Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
# Date 1334404435 -7200
# Node ID a11cde0cdf5bf606e1339ddfad2a48a7cc03dbb5
# Parent  813a869315dcb495d9077e21f73c30546636aebf
misc: Make the shell launcher use the same python interpreter than setup.py.

diff -r 813a869315dc -r a11cde0cdf5b setup.py
--- a/setup.py	Sat Apr 14 11:09:31 2012 +0200
+++ b/setup.py	Sat Apr 14 13:53:55 2012 +0200
@@ -57,6 +57,8 @@
                     dest_line = 'DAEMON=""\n' #we want to launch sat as a daemon
                 elif ori_line.startswith('TAP_PATH='):
                     dest_line = 'TAP_PATH="%s/"\n' % run_dir
+                elif ori_line.startswith('PYTHON='):
+                    dest_line = 'PYTHON="%s"\n' % sys.executable
                 else:
                     dest_line = ori_line
                 sh_buffer += dest_line
diff -r 813a869315dc -r a11cde0cdf5b src/sat.sh
--- a/src/sat.sh	Sat Apr 14 11:09:31 2012 +0200
+++ b/src/sat.sh	Sat Apr 14 13:53:55 2012 +0200
@@ -15,9 +15,10 @@
 fi
 
 NAME='sat'
+PYTHON='python'
 
 #We use python to parse config files
-eval `python<<PYTHONEND
+eval `"$PYTHON" << PYTHONEND
 from ConfigParser import SafeConfigParser
 from os.path import expanduser, join
 import sys