the KeyboardInterrupt exception is not handled properly.
Bug watches keep track of this bug in other bug trackers.