Fixing tickets http://newyans.pl.sophia.inria.fr/trac/ticket/37 and http://newyans...

[nepi.git] / src / nepi / execution / resource.py

diff --git a/src/nepi/execution/resource.py b/src/nepi/execution/resource.py
index 397dab4..c782416 100644 (file)
--- a/src/nepi/execution/resource.py
+++ b/src/nepi/execution/resource.py
@@ -962,6 +962,11 @@ class ResourceManager(Logger):
         pass
 
     def do_finish(self):
+        # In case the RM passed from STARTED directly to FINISHED,
+        # we set the stop_time for consistency
+        if self.stop_time == None:
+            self.set_stopped()
+
         self.set_finished()
 
     def do_fail(self):