From 0b29f6b5971ed9c477ca7e41b251e399787a7708 Mon Sep 17 00:00:00 2001
From: mfrasca <>
Date: Fri, 18 May 2007 17:58:40 +0000
Subject: [PATCH] migliorie sul feedback:  se il player muore o viene ammazzato
 esternamente, il programma se ne accorge.

---
 examples/pywmradio.py | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

diff --git a/examples/pywmradio.py b/examples/pywmradio.py
index 29ffada..1b8072c 100755
--- a/examples/pywmradio.py
+++ b/examples/pywmradio.py
@@ -47,8 +47,18 @@ class Application(wmoo.Application):
             else:
                 self.radioList.append( (radioname+' '*24, radiodef[1], radiodef[2]) )
 
+    def reset(self):
+        self._cacheLevel = -50
+        self.child = None
+        self._paused = None
+        self.showCacheLevel()
+        
+
+    def handler(self, num, frame):
+        self.reset()
+
     def startPlayer(self):
-        import os, subprocess
+        import os, subprocess, signal
         commandline = [mplayer,
                        '-cache', self.radioList[self.currentRadio][2],
                        self.radioList[self.currentRadio][1]
@@ -57,6 +67,7 @@ class Application(wmoo.Application):
                                       stdin =subprocess.PIPE,
                                       stdout=subprocess.PIPE,
                                       stderr=devnull)
+        signal.signal(signal.SIGCHLD, self.handler)
         self._paused = False
         self._buffered = ''
         self._buffering = 1
@@ -71,8 +82,6 @@ class Application(wmoo.Application):
                 self.child.stdin.write('q')
             import os, signal
             os.kill(self.child.pid, signal.SIGKILL)
-            self.child = None
-            self._paused = None
             return True
         return False
 
@@ -102,8 +111,7 @@ class Application(wmoo.Application):
 
     def stopStream(self, event):
         self.stopPlayer()
-        self._cacheLevel = -50
-        self.showCacheLevel()
+        self.reset()
 
     def pauseStream(self, event):
         if self.child:
@@ -162,6 +170,10 @@ class Application(wmoo.Application):
                     self._buffered = self._buffered[rpos:]
             self.showCacheLevel()
 
+def handler(num, frame):
+    hdmon.updateMonitoredPaths()
+    signal.alarm(10)
+
 palette = {
     '-': "#000000",
     ".": "#868682",