Processes restarted if ERROR_PROC_TIMED_OUT or uncaught exception

wizard97 · Jul 13, 2016 · 2cbbca1 · 2cbbca1
1 parent 99b2c43
commit 2cbbca1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/ProcessScheduler/Scheduler.cpp b/src/ProcessScheduler/Scheduler.cpp
@@ -434,6 +434,11 @@ void Scheduler::handleHistOverFlow(uint8_t div)
         longjmp(_env, e);
     }
 
+    void Scheduler::handleException(Process &process, int e)
+    {
+        process.restart();
+    }
+
 
     bool Scheduler::jmpHandler(int e)
     {

diff --git a/src/ProcessScheduler/Scheduler.h b/src/ProcessScheduler/Scheduler.h
@@ -184,7 +184,7 @@ class Scheduler
     * Handle uncaught Process exceptions from Process process with Exception code e
     * By default just restart it
     */
-    virtual void handleException(Process &process, int e) { process.restart(); }
+    virtual void handleException(Process &process, int e);
 #endif
     // Inner queue object class to queue scheduler jobs
     class QueableOperation