Revert r311952.
It broke DDB type-ahead since it caused db_check_interrupt() to drop unrecognized characters.
Reported by: bde