def do_window_close(self, widget, data=None):
publish_event(QUIT_EVENT)<EOL>if self.has_server:<EOL><INDENT>self.sock.close()<EOL><DEDENT>self.hide_variables_window()<EOL>self.destroy()<EOL>self.window_open = False<EOL>
Widget Action to Close the window, triggering the quit event.