markj 1a14c726b0 Revert r311952.
It broke DDB type-ahead since it caused db_check_interrupt() to drop
unrecognized characters.

Reported by:	bde
2017-01-14 22:06:25 +00:00
..
2017-01-13 08:31:55 +00:00
2017-01-14 22:06:25 +00:00
2017-01-09 23:41:10 +00:00
2017-01-12 20:26:02 +00:00