pcc/ninja — comment on commit 3ba052b16265acb6ada689d7e9e517c25a507510
File:  line 0
By martine:

What happens in the old code when you hit Ctrl-C? I'm not sure I understand the difference here.