Message4645
I'm currently using the following code as workaround:
import signal
def intHandler(signum, frame):
print "user pressed ctrl-c"
raise KeyboardInterrupt()
# Set the signal handler
signal.signal(signal.SIGINT, intHandler)
This installs a special handler for the interrupt signal, which raises a
KeyboardInterrupt. |
|
Date |
User |
Action |
Args |
2009-05-06 12:22:34 | marc | set | messageid: <1241612554.43.0.415920612734.issue1313@psf.upfronthosting.co.za> |
2009-05-06 12:22:34 | marc | set | recipients:
+ marc, draghuram, pekka.klarck |
2009-05-06 12:22:34 | marc | link | issue1313 messages |
2009-05-06 12:22:34 | marc | create | |
|