[PATCH 2/3] Re: Always call ui.terminate()

[Nicolas Sebrecht]

On Tue, Jun 14, 2011 at 11:52:05AM +0200, Sebastian Spaeth wrote:
> 
> 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).

Thanks.

-- 
Nicolas Sebrecht