[tor-commits] [flashproxy/master] Break on KeyboardInterrupt.

[dcf at torproject.org]

commit ccc61725840ef668ef444100cd1c13271c194097
Author: David Fifield <david at bamsoftware.com>
Date:   Sat May 4 22:34:43 2013 -0700

    Break on KeyboardInterrupt.
---
 facilitator/facilitator-email-poller |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/facilitator/facilitator-email-poller b/facilitator/facilitator-email-poller
index 2e240e0..50e3f7d 100755
--- a/facilitator/facilitator-email-poller
+++ b/facilitator/facilitator-email-poller
@@ -330,6 +330,8 @@ while True:
     except imaplib.IMAP4.abort, e:
         # Try again after a disconnection.
         log(u"lost server connection: %s" % str(e))
+    except KeyboardInterrupt:
+        break
 
     # Don't reconnect too fast.
     t = login_limit.time_to_wait()