I'm seeing the following anomaly. When executing the following
statements:
import sys
try: sys.stdin.readline()
except: print 'OK'
and generating a keyboard interrupt while readline() is waiting for
input, will *not* print the 'OK' on my system.
However, the following works:
import sys, time
try: sys.stdin.readline()
except: time.millisleep(300); print 'OK'
Here I will see OK after a keyboard interrupt while readline() is
waiting for input.
My question is: is this platform specific? Do other people experience
the same problem? Any other words of wisdom?
Thanks,
-Jaap-
-- Jaap Vermeulen +--------------------------+ | Sequent Computer Systems | Internet : jaap@sequent.com | Beaverton, Oregon | Uucp : ...uunet!sequent!jaap +--------------------------+