chiark / gitweb /
Properly fix bug with cancelling children.