Commit b67dbcc3 authored by Leo Gordon's avatar Leo Gordon
Browse files

bugfix: no longer leaves CLAIMED jobs after compilation error during specific -job_id execution

parent 5a963581
......@@ -321,6 +321,7 @@ sub register_worker_death {
or $cod eq 'MEMLIMIT'
or $cod eq 'RUNLIMIT'
or $cod eq 'KILLED_BY_USER'
or $cod eq 'SEE_MSG'
or $cod eq 'CONTAMINATED') {
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment