We ought to always clear (close) the clipboard on logout

Fixes #672
This commit is contained in:
dordsor21 2020-09-30 10:56:07 +01:00
parent 13cfd638d6
commit 318eca364d
No known key found for this signature in database
GPG Key ID: 1E53E88969FFCF0B

View File

@ -400,11 +400,10 @@ public interface Player extends Entity, Actor {
*/ */
default void unregister() { default void unregister() {
cancel(true); cancel(true);
getSession().setClipboard(null);
if (Settings.IMP.HISTORY.DELETE_ON_LOGOUT) { if (Settings.IMP.HISTORY.DELETE_ON_LOGOUT) {
getSession().clearHistory(); getSession().clearHistory();
getSession().unregisterTools(this); getSession().unregisterTools(this);
} else if (Settings.IMP.CLIPBOARD.USE_DISK) {
getSession().setClipboard(null);
} }
} }