Skip to content

Instantly share code, notes, and snippets.

@mariusgrigaitis
Created October 23, 2015 12:09
Show Gist options
  • Select an option

  • Save mariusgrigaitis/b914c8303ce18d9660c7 to your computer and use it in GitHub Desktop.

Select an option

Save mariusgrigaitis/b914c8303ce18d9660c7 to your computer and use it in GitHub Desktop.

Revisions

  1. mariusgrigaitis created this gist Oct 23, 2015.
    8 changes: 8 additions & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,8 @@
    import signal

    def intHandler(signum, frame):
    print "user pressed ctrl-c"
    raise KeyboardInterrupt()

    # Set the signal handler
    signal.signal(signal.SIGINT, intHandler)