mirror of
https://github.com/l0ng-ai/openidea.git
synced 2026-11-08 08:52:12 +00:00
Closing a window stops what its project started, but a quit that doesn't close the windows first (the Dock's Quit, the app menu, a logout) exited with the runs still alive: a server kept its port and the next run of the configuration failed with "port already in use". On exit the app now kills every run's process tree and every terminal shell, as the remote server already does when it shuts down. Fixes #1691