A run whose process died without closing its own record stays marked
running, and that mark refuses reads, re-solves, drops and output seals.
clear_run() is the override: it records the run as abandoned so those
operations proceed again.
Arguments
- object
a scenario, or the PATH to a saved scenario directory. A path is what the cases this function exists for can offer: a store written on another machine, or one in an on-disk layout this version no longer loads. Only the directory is read.
- run
the run id, as
scenario_runs()lists it.- verbose
logical.
Details
Nothing is deleted and no solver output is touched — only the record's
status changes. get_status() reports a run whose process is demonstrably
gone as crashed without any help, so this is needed for the cases that
cannot be demonstrated: a run recorded on another machine, or one written
before process ids were kept.
To remove the run and its files instead, use drop_scenario_run().
