Misc fixes.

Closes a few old youtrack issues which I don't remember because I had
like 30 tabs open, and a few other issues which I found while testing
some of those.
This commit is contained in:
wizjany
2019-05-05 14:25:43 -04:00
parent bc8e477b1c
commit ceff17c4f7
5 changed files with 7 additions and 6 deletions

View File

@ -261,6 +261,7 @@ public class SessionManager {
*/
public synchronized void unload() {
clear();
timer.cancel();
}
/**