8634b0030d
I discovered that we do not run ui.terminate in all circumstances, so make sure that we call with properly at the end of each run (whether in threaded or single-thread mode). Signed-off-by: Sebastian Spaeth <Sebastian@SSpaeth.de> Signed-off-by: Nicolas Sebrecht <nicolas.s-dev@laposte.net>