From 55d4432ba76c6a946ba9db98afcf1ba90eee5fa8 Mon Sep 17 00:00:00 2001
From: Leonardo Robol <leo@robol.it>
Date: Wed, 4 Nov 2009 08:55:32 +0100
Subject: [PATCH] Aggiunto qualche messaggio di debug temporaneo e corretto un
 piccolo bug nella terminazione del thread player che non risponde

---
 RaiTV/Interface.py   |  4 ----
 RaiTV/VideoWidget.py | 12 ++++++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/RaiTV/Interface.py b/RaiTV/Interface.py
index db603e0..9c86c39 100644
--- a/RaiTV/Interface.py
+++ b/RaiTV/Interface.py
@@ -104,10 +104,6 @@ class UI():
         self.videowidget.load_video(mmsurl)
         self.sb_info("Connessione riuscita")
 
-    def start_video(self):
-        """Avvia il video"""
-        self.videowidget.registerXID()
-        
 
     def destroy(self, w):
         """Chiamata per distruggere l'interfaccia"""
diff --git a/RaiTV/VideoWidget.py b/RaiTV/VideoWidget.py
index 2aa0011..51b82f1 100644
--- a/RaiTV/VideoWidget.py
+++ b/RaiTV/VideoWidget.py
@@ -131,8 +131,12 @@ class VideoWidget(gtk.DrawingArea):
         if self.playing:
             self.stop()
 
+        print " => Buono, video stoppati"
+
         self.player = GstPlayer(self.window.xid, uri)
+        print " => Player creato"
         self.player.start()
+        print " => Player avviato"
         self.playing = True
 
         ## Aspettiamo 5 secondi
@@ -146,10 +150,10 @@ class VideoWidget(gtk.DrawingArea):
         self.playing = False
         if self.player is not None:
             self.player.exit()
-            self.player.join(2)
-        if self.player.isAlive():
-            print " => Ops, l'ho ucciso brutalmente"
-            del self.player
+            self.player.join(timeout=2)
+            if self.player.isAlive():
+                print " => Ops, l'ho ucciso brutalmente"
+                del self.player
 
 
     def play(self):
-- 
2.1.4