From fdcf13092fffaef30aa622fe61927da816fd06da Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Thu, 31 Mar 2011 15:26:08 +0000
Subject: [PATCH] trying to avoid exit(0) calls, they kill the server :)

---
 src/funcheck/CodeExtraction.scala | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/funcheck/CodeExtraction.scala b/src/funcheck/CodeExtraction.scala
index 335fb44b4..d24c2f398 100644
--- a/src/funcheck/CodeExtraction.scala
+++ b/src/funcheck/CodeExtraction.scala
@@ -31,8 +31,7 @@ trait CodeExtraction extends Extractors {
   
   protected def stopIfErrors: Unit = {
     if(reporter.hasErrors) {
-      println("There were errors.")
-      exit(0)
+      throw new Exception("There were errors.")
     }
   }
 
-- 
GitLab