chiark / gitweb /
support forced stops in ORIG_DIRECT