# HG changeset patch # User Goffi # Date 1308498036 -7200 # Node ID e83d0c21d64d7e33477982bc26092a55094e061f # Parent d9499d27f8844a7831efe1fc1cfa412ae66bc2d0 launching script now read config files added ./sat.conf in possible config file location diff -r d9499d27f884 -r e83d0c21d64d src/sat.sh --- a/src/sat.sh Sat Jun 18 23:28:10 2011 +0200 +++ b/src/sat.sh Sun Jun 19 17:40:36 2011 +0200 @@ -16,14 +16,25 @@ NAME='sat' -if [ -n "$SAT_CONST_local_dir" ];then - echo "Using overidded local dir: $SAT_CONST_local_dir" - PID_FILE="$SAT_CONST_local_dir/$NAME.pid" - LOG_FILE="$SAT_CONST_local_dir/$NAME.log" -else - PID_FILE="/tmp/$NAME.pid" - LOG_FILE=~/".$NAME/$NAME.log" -fi +#We use python to parse config files +eval `python<