(self, ws_instance_to_update)
| 503 | self._need_update_flag = False |
| 504 | |
| 505 | def websocket_handshake_done(self, ws_instance_to_update): |
| 506 | msg = "" |
| 507 | with self.update_lock: |
| 508 | msg = "0" + self.root.identifier + ',' + to_websocket(self._overload(self.page.children['body'].innerHTML({}), filename="internal")) |
| 509 | ws_instance_to_update.send_message(msg) |
| 510 | |
| 511 | def set_root_widget(self, widget): |
| 512 | self.page.children['body'].append(widget, 'root') |
no test coverage detected