From 3859ad8e4065730458e990eabb9ae8d0fa14799a Mon Sep 17 00:00:00 2001
From: Dico200 <dico.karssiens@gmail.com>
Date: Sat, 28 May 2016 21:43:59 +0200
Subject: [PATCH] Fix error on player quit for player.py

---
 player.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/player.py b/player.py
index 0f4a47f..b1a2ddd 100644
--- a/player.py
+++ b/player.py
@@ -25,5 +25,6 @@ def on_join(event):
 
 @hook.event("player.PlayerQuitEvent","highest")
 def on_leave(event):
-    py_players.remove(get_py_player(event.getPlayer()))
-
+    player = get_py_player(event.getPlayer())
+    if player in py_players:
+        py_players.remove(player)