Fix monitor devices list (once again, a bug introduced w/ UUID tag)

git-svn-id: https://redmine.imt-atlantique.fr/svn/xaal/code/Python/branches/0.7@2459 b32b6428-25c9-4566-ad07-03861ab6144f

libs/lib/xaal/lib/bindings.py

@@ -40,6 +40,9 @@ class UUID:
     def __repr__(self):
         return f"UUID('{self.__uuid}')"
 
+    def __hash__(self):
+        return self.__uuid.__hash__()
+
     def get(self):
         return self.__uuid
     

libs/monitor/xaal/monitor/example.py

@@ -17,7 +17,7 @@ def monitor_example(engine):
     cfg = tools.load_cfg_or_die(PACKAGE_NAME)
     # create a device & register it
     dev            = Device("hmi.basic")
-    dev.address    = cfg['config']['addr']
+    dev.address    = tools.get_uuid(cfg['config']['addr'])
     dev.vendor_id  = "IHSEV"
     dev.product_id = "Monitor Example"
     dev.version    = 0.1
@@ -26,7 +26,7 @@ def monitor_example(engine):
 
     db_server = None
     if 'db_server' in cfg['config']:
-        db_server = cfg['config']['db_server']
+        db_server = tools.get_uuid(cfg['config']['db_server'])
     else:
         logger.info('You can set "db_server" in the config file')
     # start the monitoring