diff --git a/gen_wrap.py b/gen_wrap.py index 72c47952c6d5ffeffa6c9d5789bbabe4e7141dfd..8d058b7aebfafeed5924bd3ac8da98238e54c015 100644 --- a/gen_wrap.py +++ b/gen_wrap.py @@ -435,7 +435,7 @@ if _PY3: class DelayedKeyboardInterrupt(object): def __enter__(self): self.previous_switch_interval = sys.getswitchinterval() - sys.setswitchinterval(10000000000000) + sys.setswitchinterval(10000000) def __exit__(self, type, value, traceback): sys.setswitchinterval(self.previous_switch_interval) @@ -443,7 +443,7 @@ else: class DelayedKeyboardInterrupt(object): def __enter__(self): self.previous_check_interval = sys.getcheckinterval() - sys.setcheckinterval(10000000000000) + sys.setcheckinterval(100000000) def __exit__(self, type, value, traceback): sys.setcheckinterval(self.previous_check_interval)