Merge branch 'server_rework' into server_rework_dsd

This commit is contained in:
Jakob Ketterl
2019-05-19 13:36:49 +02:00
3 changed files with 38 additions and 30 deletions

View File

@ -56,7 +56,7 @@ class PropertyManager(object):
return PropertyManager.sharedInstance
def collect(self, *props):
return PropertyManager(dict((name, self.getProperty(name) if self.hasProperty(name) else Property()) for name in props))
return PropertyManager({name: self.getProperty(name) if self.hasProperty(name) else Property() for name in props})
def __init__(self, properties = None):
self.properties = {}