Changeset 99e377f3a22b…
Parent 55e8532b6c7e…
by
Changes to one file · Browse files at 99e377f3a22b Showing diff from parent 55e8532b6c7e Diff from another changeset...
@@ -541,8 +541,12 @@
def stop_search(self, frame):
if getattr(frame, '_mythread', None):
- frame._mythread.terminate()
- frame._mythread.join()
+ if frame._mythread.isAlive():
+ try:
+ frame._mythread.terminate()
+ frame._mythread.join()
+ except (threading.ThreadError, ValueError):
+ pass
frame._mythread = None
def close_page(self, button, widget):
|
Loading...