Commit 5794c96b authored by Nico Alt's avatar Nico Alt

Properly shutdown api

The quit function was actually never called before. That was the reason
why the Java background process never stopped.
parent 240b8139
Pipeline #4081 failed with stage
in 0 seconds
......@@ -35,7 +35,7 @@ class Application(Gtk.Application):
self._setup_window()
# pylint: disable=arguments-differ
def quit(self):
def do_shutdown(self):
self.api.stop()
self._window.hide()
Gio.Application.quit(self)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment