| branch | devel |
| changeset 147 | e96e50ae6352 |
| child 179 | af65fcbd59d5 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/iro/config.py Mon Feb 13 17:16:14 2012 +0100 @@ -0,0 +1,15 @@ +from ConfigParser import ConfigParser + +class Config(ConfigParser): + def __init__(self): + ConfigParser.__init__(self) + self.reloadList=[] + + def reload(self): + for f in self.reloadlist: + f() + + def registerReload(self, func): + self.reloadList.append(func) + +config=Config()