Send serverChanged event on server_info changes

This commit is contained in:
shortcutme 2017-11-05 23:42:14 +01:00
parent 2781e31be0
commit 6f37654303
No known key found for this signature in database
GPG key ID: 5B63BAE6CB9613AE

View file

@ -171,3 +171,7 @@ class UiServer:
self.server.socket.close() self.server.socket.close()
self.server.stop() self.server.stop()
time.sleep(1) time.sleep(1)
def updateWebsocket(self, **kwargs):
for ws in self.websockets:
ws.event("serverChanged", kwargs)