chiark / gitweb /
reload: implement reload/reexec logic