Bugfixes

mediaserver/mediaserver.py

@@ -15,6 +15,7 @@ import gi
 from .resources import Resources
 
 gi.require_version('Gst', '1.0')
+gi.require_version('Gdk', '3.0')
 gi.require_version('Gtk', '3.0')
 gi.require_version('GstGL', '1.0')
 gi.require_version('GstVideo', '1.0')

mediaserver/monitoredplayer.py

@@ -50,6 +50,7 @@ class MonitoredPlayer(BasicPlayer):
         self.looping=False
         
     def __del__(self):
+        if hasattr(self,'monitor'):
             self.monitor.stop()
         
     def playfor(self,duration,loop=False):

setup.py

@@ -19,7 +19,7 @@ if version < '2.2.3':
 if __name__ == '__main__':
     setup(
         name = 'mediaserver',
-        version = "4.1.1",
+        version = "4.1.2",
         description = 'Mediacore mediaserver',
         long_description = __doc__,
         author = 'Miqra Engineering',