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.
Version: 1.18.x
Severity: enhancement