From 318eca364dd1204a017d24c1ed31e9e25b9b9076 Mon Sep 17 00:00:00 2001
From: dordsor21 <dordsor21@gmail.com>
Date: Wed, 30 Sep 2020 10:56:07 +0100
Subject: [PATCH] We ought to always clear (close) the clipboard on logout
 Fixes #672

---
 .../src/main/java/com/sk89q/worldedit/entity/Player.java       | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java b/worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java
index cca8e651f..c7eee03d9 100644
--- a/worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java
+++ b/worldedit-core/src/main/java/com/sk89q/worldedit/entity/Player.java
@@ -400,11 +400,10 @@ public interface Player extends Entity, Actor {
      */
     default void unregister() {
         cancel(true);
+        getSession().setClipboard(null);
         if (Settings.IMP.HISTORY.DELETE_ON_LOGOUT) {
             getSession().clearHistory();
             getSession().unregisterTools(this);
-        } else if (Settings.IMP.CLIPBOARD.USE_DISK) {
-            getSession().setClipboard(null);
         }
     }