Strange server behaviour in VSCode #2
Description
When using the Visual Studio Code extension the server sometimes takes a long time to start up. Furthermore the server_is_up() function doesn't seem to work as sometimes a new server is started although another one is already running.