git://git.onelab.eu
/
nepi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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):