I suspect that one of the reason for the failing viper-ide tests is that the IDE performs a POST request before the server is actually up and running.
This PR changes the start function to return a future. This future is completed when the server is ready. Only then the server's port number will be output on standard output to indicate to clients that it is ready.
I suspect that one of the reason for the failing viper-ide tests is that the IDE performs a POST request before the server is actually up and running. This PR changes the
startfunction to return a future. This future is completed when the server is ready. Only then the server's port number will be output on standard output to indicate to clients that it is ready.