fix: error when installing elan while running server#678

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:mhuisi/install-with-running-servermhuisi/vscode-lean4:mhuisi/install-with-running-serverCopy head branch name to clipboard