Find a way to allow done() even if post-code is present

[aroberge]

There should be a way to allow done() even if post-code is present.

One way might be something like

try:
    exec_code(pre+user+post)
except Exception as e:
   record_exception = e

if RUR.state.done_executed:
    try:
        exec_code(post)
    except Exception as e:
        record_exception = e

both with Python and the corresponding Javascript version.