fix: don't throw on reset build server when the same option reselected

scalameta · Oct 19, 2023 · 22efc78 · 22efc78
1 parent da305ba
commit 22efc78
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/metals/src/main/scala/scala/meta/internal/metals/PopupChoiceReset.scala b/metals/src/main/scala/scala/meta/internal/metals/PopupChoiceReset.scala
@@ -35,13 +35,13 @@ class PopupChoiceReset(
       Future.successful(())
     } else if (value == BuildServer) {
       scribe.info("Resetting build server selection.")
-      (for {
+      for {
         didChange <- bspConnector.switchBuildServer(
           workspace,
           slowConnect,
         )
-        if didChange
-      } yield quickConnect()).ignoreValue
+        _ <- if (didChange) quickConnect() else Future.successful(())
+      } yield ()
     } else {
       Future.successful(())
     }