Since #13767, calling dune when another instance is already running doesn't freeze forever, which is good. Now, it shows this error message and exits:
Error: RPC server not running.
I think this error message is quite confusing. What about something like:
Another Dune instance is currently running. Aborting...
Since #13767, calling
dunewhen another instance is already running doesn't freeze forever, which is good. Now, it shows this error message and exits:I think this error message is quite confusing. What about something like: