diff options
Diffstat (limited to 'wf.py')
| -rwxr-xr-x | wf.py | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1851,7 +1851,10 @@ def orch_post(main: Path, p: Project, args) -> int: item = p.doc.item(id) if id in p.doc.ids() else None if item is None and id not in p.archived: raise Failure(tasks.unknown_id(id, p.doc.ids())) - words = (args.result or "").split() + line = (args.result or "").strip() + if line[:7].lower() == "result:": + line = line[7:].strip() # literal report line 'result: done' + words = line.split() outcome = words[0] if words else ("done" if id in p.archived else "no-report") if outcome == "done" and item is not None and id not in p.archived and tasks.open_slices(p.doc, id): outcome = "sliced" # slice job: worker said done but the task is open with slices |
