add a resubmit option to wudb
Imported issue: Initially reported by @thome in https://gforge.inria.fr/tracker/?group_id=2065&aid=16714
Use case: client cluter-32.somewhere.com goes offline. It will never finished the workunit which has been assigned to it.
User wants the workunits to be assigned again. There is no documented procedure to do that, except to wait for the timeout.
A way to resubmit a workunit is to forcibly set its time_assigned field to looong ago in the wudb. For example the following resubmits all jobs:
echo ""update workunits set timeassigned='2000-01-01 00:00:00.000000' where status=1;"" | sqlite3 c135.db
I think that such tinkering by hand is not very desirable. IMO the wudb.py script would need a --resubmit option.
E.