Ben is correct in his interpretation of what I'm trying to say. The
code "should surely be changed" so that it lets a KeyboardInterrupt
exception through.

Geoff
--
http://mail.python.org/mailman/listinfo/python-list

Reply via email to