Don't end player thread, when child dies.

1 files changed, 3 insertions, 2 deletions

diff --git a/player.c b/player.c
index a79e331..4ec0f4d 100644
--- a/player.c
+++ b/player.c
@@ -464,8 +464,9 @@ static void *PlayerHandlerThread(void *dummy)
 {
     Debug(3, "play: player thread started\n");
 
-    while (PlayerIsRunning()) {
-	if (ConfigUseSlave) {
+    // Need: thread for video poll: while (PlayerIsRunning())
+    for (;;) {
+	if (ConfigUseSlave && PlayerIsRunning()) {
 	    PlayerPollPipe();
 	    // FIXME: wait only if pipe not ready
 	}