make server quit when app closes
@@ -80,6 +80,10 @@ app.on('window-all-closed', () => {
}
})
+app.on('will-quit', () => {
+ pythonServer.kill('SIGINT')
+})
+
app.on('activate', () => {
// on macOS it is common to re-create a window even after all windows have been closed
if (mainWindow === null) {
