rewrote playerKill()

playerKill() was marked as deprecated, but it seems like a good idea
to do proper cleanup in all threads (e.g. for usable valgrind
results).  Introduce the command "EXIT" which makes the player thread
exit cleanly.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/player.c b/src/player.c
index 5c3319491..59b8c9237 100644
--- a/src/player.c
+++ b/src/player.c
@@ -76,9 +76,9 @@ void playerWait(void)
 	playerQueueUnlock();
 }
 
-void playerKill(void) /* deprecated */
+void playerKill(void)
 {
-	playerPause();
+	player_command(PLAYER_COMMAND_EXIT);
 }
 
 void playerPause(void)