]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
gui: Shutdown scheduler after schedule() returns.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 7 Oct 2014 19:50:25 +0000 (19:50 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 8 Feb 2015 14:10:55 +0000 (15:10 +0100)
This makes sure all resources allocated by the scheduler are released.
Since we exit anyway when schedule() returns, this is not a serious
memory leak. The fix helps to identify real leaks though.


No differences found