Start sbt only if necessary, don't keep server alive

This commit changes the behavior of the IDE so that it runs
`configureIDE` only if the project hasn't been configured yet. sbt will
now be started only if necessary, and the server will not be kept alive
longer than necessary.

Author: Duhemm

vscode-dotty/src/extension.ts

@@ -26,9 +26,6 @@ export let client: LanguageClient
 /** The sbt process that may have been started by this extension */
 let sbtProcess: ChildProcess | undefined
 
-/** The status bar where the show the status of sbt server */
-let sbtStatusBar: vscode.StatusBarItem
-
 const sbtVersion = "1.2.3"
 const sbtArtifact = `org.scala-sbt:sbt-launch:${sbtVersion}`
 export const workspaceRoot = `${vscode.workspace.rootPath}`
@@ -95,12 +92,15 @@ export function activate(context: ExtensionContext) {
           return Promise.reject()
         }
       })
+        .then(_ => connectToSbt(coursierPath))
+        .then(sbt => {
+          withProgress("Configuring Dotty IDE...", configureIDE(sbt))
+            .then(_ => sbtserver.tellSbt(outputChannel, sbt, "exit"))
+        })
     }
 
     if (!fs.existsSync(disableDottyIDEFile)) {
       configuredProject
-        .then(_ => connectToSbt(coursierPath))
-        .then(sbt => withProgress("Configuring Dotty IDE...", configureIDE(sbt)))
         .then(_ => runLanguageServer(coursierPath, languageServerArtifactFile))
     }
   }
@@ -111,34 +111,14 @@ export function activate(context: ExtensionContext) {
  * connection is still alive. If it dies, restart sbt server.
  */
 function connectToSbt(coursierPath: string): Thenable<rpc.MessageConnection> {
-  if (!sbtStatusBar) sbtStatusBar = vscode.window.createStatusBarItem(vscode.StatusBarAlignment.Right)
-  sbtStatusBar.text = "sbt server: connecting $(sync)"
-  sbtStatusBar.show()
 
   return offeringToRetry(() => {
     return withSbtInstance(coursierPath).then(connection => {
-      connection.onClose(() => markSbtDownAndReconnect(coursierPath))
-      markSbtUp()
       return connection
     })
   }, "Couldn't connect to sbt server (see log for details)")
 }
 
-/** Mark sbt server as alive in the status bar */
-function markSbtUp() {
-  sbtStatusBar.text = "sbt server: up $(check)"
-}
-
-/** Mark sbt server as dead and try to reconnect */
-function markSbtDownAndReconnect(coursierPath: string) {
-  sbtStatusBar.text = "sbt server: down $(x)"
-  if (sbtProcess) {
-    sbtProcess.kill()
-    sbtProcess = undefined
-  }
-  connectToSbt(coursierPath)
-}
-
 export function deactivate() {
   // If sbt was started by this extension, kill the process.
   // FIXME: This will be a problem for other clients of this server.