STARTED=\`pgrep \$EXE 2>/dev/null\`
[ \$? -eq 0 ] && { echo "Already started!"; echo "\$STARTED" ; exit 1 ; }
./pre-start.sh
-0> launcher.traces
+0> launcher.trace
rm -f counters/*
# Execution line:
./\$EXE -cntDir counters $(for i in `cat args.txt | grep -v "^#"`; do echo -n "$i "; done)&