Index: /trunk/FACT++/scripts/CheckUnderflow.js
===================================================================
--- /trunk/FACT++/scripts/CheckUnderflow.js	(revision 14996)
+++ /trunk/FACT++/scripts/CheckUnderflow.js	(revision 14997)
@@ -43,8 +43,7 @@
 if (!checkStates(table))
 {
-    console.out("Something unexpected has happened. One of the servers",
+    throw new Error("Something unexpected has happened. One of the servers",
             "is in a state in which it should not be. Please,",
             "try to find out what happened...");
-    exit();
 }