comparison src/sat.sh @ 463:ac568832a71a

fixed lauching script
author Goffi <goffi@goffi.org>
date Sat, 24 Mar 2012 16:11:16 +0100
parents e83d0c21d64d
children a11cde0cdf5b
comparison
equal deleted inserted replaced
462:d9456d94cd12 463:ac568832a71a
18 18
19 #We use python to parse config files 19 #We use python to parse config files
20 eval `python<<PYTHONEND 20 eval `python<<PYTHONEND
21 from ConfigParser import SafeConfigParser 21 from ConfigParser import SafeConfigParser
22 from os.path import expanduser, join 22 from os.path import expanduser, join
23 import sys
23 24
24 config = SafeConfigParser(defaults={'local_dir':'~/.sat', 25 config = SafeConfigParser(defaults={'local_dir':'~/.sat',
25 'pid_dir':'/tmp', 26 'pid_dir':'/tmp',
26 'log_dir':'%(local_dir)s'}) 27 'log_dir':'%(local_dir)s'})
27 try: 28 try:
28 config.read(map(expanduser, ['/etc/sat.conf', '~/sat.conf', '~/.sat.conf', 'sat.conf', '.sat.conf'])) 29 config.read(map(expanduser, ['/etc/sat.conf', '~/sat.conf', '~/.sat.conf', 'sat.conf', '.sat.conf']))
29 except: 30 except:
30 print ("Can't read main config !") 31 print ("echo \"/!\\ Can't read main config ! Please check the syntax\";")
31 print "LOCAL_DIR='%s'" % join(expanduser(config.get('DEFAULT', 'local_dir')),'') 32 print ("exit 1")
32 print "PID_DIR='%s'" % join(expanduser(config.get('DEFAULT', 'pid_dir')),'') 33 sys.exit()
33 print "LOG_DIR='%s'" % join(expanduser(config.get('DEFAULT', 'pid_dir')),'') 34
35 env=[]
36 env.append("LOCAL_DIR='%s'" % join(expanduser(config.get('DEFAULT', 'local_dir')),''))
37 env.append("PID_DIR='%s'" % join(expanduser(config.get('DEFAULT', 'pid_dir')),''))
38 env.append("LOG_DIR='%s'" % join(expanduser(config.get('DEFAULT', 'pid_dir')),''))
39
40 print ";".join(env)
34 PYTHONEND 41 PYTHONEND
35 ` 42 `
43
36 PID_FILE="$PID_DIR$NAME.pid" 44 PID_FILE="$PID_DIR$NAME.pid"
37 LOG_FILE="$LOCAL_DIR$NAME.log" 45 LOG_FILE="$LOCAL_DIR$NAME.log"
38 DAEMON="n" 46 DAEMON="n"
39 MAIN_OPTIONS="-${DAEMON}oy" 47 MAIN_OPTIONS="-${DAEMON}oy"
40 TAP_PATH="./" 48 TAP_PATH="./"