Method restart_puppet

puppet_extension.py:180–185

(self)

            return

    def restart_puppet(self):
        if self.lockfile is not None and os.path.isfile(self.lockfile):
            os.remove(self.lockfile)
        sleep(2)
        self.start_desktop_puppet_process()
        GLib.timeout_add(2000, self.update_address)

    def create_gtk_widget(self) -> Gtk.Widget:
        threading.Thread(target=self.__start_webserver).start()