Comment 2 for bug 513960

Revision history for this message
Severin H (severinh) wrote :

It probably waits for the Backend thread to complete, causing "on_exit" (that would actually stop the thread) not to be called.