Index: /trunk/FACT++/recompile.sh
===================================================================
--- /trunk/FACT++/recompile.sh	(revision 13821)
+++ /trunk/FACT++/recompile.sh	(revision 13822)
@@ -3,5 +3,9 @@
 touch compiling.lock
 
-dimctrl --cmd "DIS_DNS/KILL_SERVERS 100" --cmd "DIS_DNS/EXIT 100"
+if [ ! -x dimctrl ]; then
+   make $* dimctrl
+fi
+
+dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS" --cmd "DIS_DNS/EXIT 100"
 
 sleep 5
@@ -9,3 +13,3 @@
 make clean
 
-make -j2 && rm compiling.lock
+make $* && rm compiling.lock
Index: /trunk/FACT++/start.sh
===================================================================
--- /trunk/FACT++/start.sh	(revision 13821)
+++ /trunk/FACT++/start.sh	(revision 13822)
@@ -1,5 +1,7 @@
-#!/bin/bash
+#!/bin/bash --login
+
 
 CMD="$*"
+PRG="$1"
 
 while [ true ]; do
@@ -13,4 +15,16 @@
    echo COMMAND=$CMD
    echo
+
+   if [ ! -x $PRG ]; then
+      echo $1 not available... waiting 5s.
+      sleep 5
+      continue
+   fi
+
+   if [ -e compiling.lock ]; then
+      echo Compilation in progress... waiting 1s.
+      sleep 1
+      continue
+   fi
 
    $CMD
@@ -28,8 +42,4 @@
    fi
 
-   while [ -e compiling ]; do
-      sleep 1
-   done
-
 done