chiark / gitweb /
Properly catch and print the run exception.