Closed woodruffw closed 6 years ago
This is more difficult than it seems at first glance. In order to get the server to pop out in a new window, we have to start two nested instances of powershell, which will make getting the PID for the powershell session containing the server tricky to get.
I was able to cheese it by just removing the -NoExit
argument from the ps_run
invocation programmatically. I'll push a PR up in a moment that has the changes.
If the server dies for whatever reason during a GUI session, the GUI should close the PowerShell window that the (dead) server was running in.
This should be configurable, since it's nice to have the dead server's window around for debugging. But for the end user, it'll just be an eyesore.