Comment 18 for bug 222801

@Michael: thanks for your concern.

Just tried as per your instructions. I could not abort with the ctrl-c, leaving me to use a 'sudo killall hardy' from a second terminal.
Attached the resulting main.log. It only shows a few additional lines.