After a judgedaemon is forcefully stopped/killed while judging, that judging does not get picked up anymore, even after restarting the judgedaemon again. It should give back the judging when starting again and thus the judging being picked up again either by this or another judgedaemon.
Description of the problem
After a judgedaemon is forcefully stopped/killed while judging, that judging does not get picked up anymore, even after restarting the judgedaemon again. It should give back the judging when starting again and thus the judging being picked up again either by this or another judgedaemon.
Your environment
wfluxor
branch at ICPC WFs