The bits and pieces for the Windows side were already in place. The POSIX side is trivial (as usual) and uses os.kill().