98 host, agent = line.split("@@", 1) |
98 host, agent = line.split("@@", 1) |
99 self.__agents[host] = agent |
99 self.__agents[host] = agent |
100 |
100 |
101 self.__loaded = True |
101 self.__loaded = True |
102 |
102 |
|
103 def reload(self): |
|
104 """ |
|
105 Public method to reload the user agent settings. |
|
106 """ |
|
107 if not self.__loaded: |
|
108 return |
|
109 |
|
110 self.__agents = {} |
|
111 self.__load() |
|
112 self.changed.emit() |
|
113 |
103 def close(self): |
114 def close(self): |
104 """ |
115 """ |
105 Public method to close the user agents manager. |
116 Public method to close the user agents manager. |
106 """ |
117 """ |
107 self.__saveTimer.saveIfNeccessary() |
118 self.__saveTimer.saveIfNeccessary() |