chiark / gitweb /
execute: reopen console in the spawned processes, if necessary