Use webm for the videofont, it has better support than shroedinger

[vidi-player.git] / vidi / Player.py

diff --git a/vidi/Player.py b/vidi/Player.py
index 15a4d07..cf30f9f 100755 (executable)
--- a/vidi/Player.py
+++ b/vidi/Player.py
@@ -41,10 +41,6 @@ class Player(object):
         pipeline = Gst.parse_launch(pipeline_string)
         return Player(pipeline)
 
         pipeline = Gst.parse_launch(pipeline_string)
         return Player(pipeline)
 

-    def stop(self):
-        self.mainloop.quit()
-        self.pipeline.set_state(Gst.State.NULL)
-

     def bus_message_cb(self, unused_bus, message):
         if message.type == Gst.MessageType.EOS:
             self.stop()
     def bus_message_cb(self, unused_bus, message):
         if message.type == Gst.MessageType.EOS:
             self.stop()


@@ -52,3 +48,7 @@ class Player(object):
     def play(self):
         self.pipeline.set_state(Gst.State.PLAYING)
         self.mainloop.run()
     def play(self):
         self.pipeline.set_state(Gst.State.PLAYING)
         self.mainloop.run()

+
+    def stop(self):
+        self.mainloop.quit()
+        self.pipeline.set_state(Gst.State.NULL)