From d8c7132d747ed42140cf26a6aca0168575c55096 Mon Sep 17 00:00:00 2001
From: Ioannis Papagiannopoulos <ioannis.papagiannopoulos@ul.ie>
Date: Tue, 10 Mar 2015 18:12:48 +0000
Subject: [PATCH] in case processing has ended and a operatorUnavailable signal
 is triggered then the signal is cancelled

---
 dream/simulation/Machine.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dream/simulation/Machine.py b/dream/simulation/Machine.py
index 9a696c15..1f91388f 100644
--- a/dream/simulation/Machine.py
+++ b/dream/simulation/Machine.py
@@ -544,6 +544,8 @@ class Machine(CoreObject):
                 break
             # if no interruption occurred the processing in M1 is ended 
             else:
+                if self.processOperatorUnavailable.triggered:
+                    self.processOperatorUnavailable=self.env.event() 
                 operationNotFinished=False
     
     # =======================================================================
-- 
2.30.9