read_mini throws Run-Time Error

Hi,

why read_mini() throws a RuntimeError when pressing Ctrl+G instead of
UserBreakError?

Jörg.
-- 
Da würde ich auch lieber den Panzerführerschein machen als den MCSE.
Bringt mehr, dürfte das gleiche kosten und macht sicher mehr Spaß.
                                   Jens Dittmar in de.comp.security