Last modified: 2013-07-30 00:10:43 UTC
We even say "For large databases, you may want to hit Ctrl-C and do this manually with foo.php", but actually there's no way to interrupt them. Of course, large sites can't operate w/o CLI access, but still we may want to do something, even though it's not required for 1.17.
As Brion pointed out this is the way it has "always been" so, while it should be fixed, I shouldn't block the release of 1.17.