|
|
|
@ -32,7 +32,6 @@ import webbrowser
|
|
|
|
|
from cgi import escape as html_escape |
|
|
|
|
|
|
|
|
|
from mitterlib.ui.helpers.image_helpers import find_image |
|
|
|
|
from mitterlib import htmlize |
|
|
|
|
from mitterlib.constants import gpl_3, version |
|
|
|
|
from mitterlib.ui.helpers import timesince |
|
|
|
|
|
|
|
|
@ -194,6 +193,13 @@ class _ThreadManager(object):
|
|
|
|
|
self._thread_id += 1 |
|
|
|
|
return |
|
|
|
|
|
|
|
|
|
def clear(self): |
|
|
|
|
"""Clear the thread pool list. This will cause the manager to stop |
|
|
|
|
working after the threads finish.""" |
|
|
|
|
self._thread_pool = [] |
|
|
|
|
self._running = [] |
|
|
|
|
return |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# ---------------------------------------------------------------------- |
|
|
|
|
# Mitter interface object |
|
|
|
@ -824,6 +830,7 @@ class Interface(object):
|
|
|
|
|
self._options[self.NAMESPACE]['height'] = height |
|
|
|
|
|
|
|
|
|
# TODO: Kill any threads running. |
|
|
|
|
self._threads.clear() |
|
|
|
|
gtk.main_quit() |
|
|
|
|
return |
|
|
|
|
|
|
|
|
|