Open odisseus opened 5 years ago
Apparently Fury thinks the connection is still open after the server is suddenly stopped.
Is this repeatable?
Confirmed on the latest master.
It turns out that, after the Bloop server was killed, Fury is capable of building other projects. It starts a new Bloop server if necessary, but the broken connection to the old one still remains in the pool. We need a way to check whether a BSP connection is functional.
Although the Python launcher has been replaced with Bloopgun, the issue is still present.
Steps to reproduce
frontend/runMain bloop.Server
in the project's SBT prompt)Expected result: Fury stops or at least crashes, and a terminal prompt shows up Actual result: Fury hangs indefinitely; you have to press Ctrl-C to interrupt it