"WARN: Unable to run doctor. Make sure isHttpEnabled is set to true." and it is impossible to set to true

[tribbloid]

Describe the bug

the log contains the following information:

WARN: Unable to run doctor. Make sure `isHttpEnabled` is set to `true`.

full log:

2024.12.25 18:44:16 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client Cursor 1.93.1.
2024.12.25 18:44:17 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/Engine.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 18:47:02 INFO  running '/home/peng/git/spookystuff/prover-commons/gradlew --stacktrace --console=plain --init-script /tmp/metals3390278892890425126/init-script.gradle bloopInstall'
2024.12.25 18:47:04 INFO  > Task :buildSrc:checkKotlinGradlePluginConfigurationErrors SKIPPED
2024.12.25 18:47:04 INFO  > Task :buildSrc:generateExternalPluginSpecBuilders UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:extractPrecompiledScriptPluginPlugins UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:compilePluginsBlocks UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:generatePrecompiledScriptPluginAccessors UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:generateScriptPluginAdapters UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:compileKotlin UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:compileJava NO-SOURCE
2024.12.25 18:47:04 INFO  > Task :buildSrc:compileGroovy NO-SOURCE
2024.12.25 18:47:04 INFO  > Task :buildSrc:pluginDescriptors UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:processResources UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:classes UP-TO-DATE
2024.12.25 18:47:04 INFO  > Task :buildSrc:jar UP-TO-DATE
2024.12.25 18:47:04 INFO  
2024.12.25 18:47:04 INFO  > Configure project :
2024.12.25 18:47:04 INFO  Sonatype API key not defined, skipping configuration of Maven Central publishing repository
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:04 INFO  PGP signing key not defined, skipping signing configuration
2024.12.25 18:47:05 INFO  
2024.12.25 18:47:05 INFO  > Task :configureBloopInstall
2024.12.25 18:47:05 INFO  > Task :prover-commons:configureBloopInstall
2024.12.25 18:47:05 INFO  > Task :prover-commons:infra:configureBloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:bloopInstall
2024.12.25 18:47:06 INFO  > Task :bloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:infra:bloopInstall
2024.12.25 18:47:06 INFO  > Task :notebook:configureBloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:abandoned:configureBloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:meta2:configureBloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:spark:configureBloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:core:configureBloopInstall
2024.12.25 18:47:06 INFO  > Task :prover-commons:core:bloopInstall
2024.12.25 18:47:08 INFO  > Task :prover-commons:meta2:bloopInstall
2024.12.25 18:47:08 INFO  > Task :notebook:bloopInstall
2024.12.25 18:47:08 INFO  > Task :prover-commons:abandoned:bloopInstall
2024.12.25 18:47:08 INFO  > Task :prover-commons:spark:bloopInstall
2024.12.25 18:47:08 INFO  [Incubating] Problems report is available at: file:///home/peng/git/spookystuff/prover-commons/build/reports/problems/problems-report.html
2024.12.25 18:47:08 INFO  
2024.12.25 18:47:08 INFO  Deprecated Gradle features were used in this build, making it incompatible with Gradle 9.0.
2024.12.25 18:47:08 INFO  
2024.12.25 18:47:08 INFO  You can use '--warning-mode all' to show the individual deprecation warnings and determine if they come from your own scripts or plugins.
2024.12.25 18:47:08 INFO  
2024.12.25 18:47:09 INFO  For more on this, please refer to https://docs.gradle.org/8.11.1/userguide/command_line_interface.html#sec:command_line_warnings in the Gradle documentation.
2024.12.25 18:47:09 INFO  
2024.12.25 18:47:09 INFO  BUILD SUCCESSFUL in 6s
2024.12.25 18:47:09 INFO  25 actionable tasks: 16 executed, 9 up-to-date
2024.12.25 18:47:09 INFO  time: ran 'gradle bloopInstall' in 6.54s
2024.12.25 18:47:09 INFO  Attempting to connect to the build server...
2024.12.25 18:47:09 INFO  Found a Bloop server running
2024.12.25 18:47:09 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 18:47:09 INFO  time: Connected to build server in 0.24s
2024.12.25 18:47:09 INFO  Connected to Build server: Bloop v2.0.6
2024.12.25 18:47:11 INFO  time: Imported build in 1.11s
2024.12.25 18:47:11 INFO  running doctor check
2024.12.25 18:47:11 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 18:47:29 INFO  time: indexed workspace in 18s
2024.12.25 18:59:45 INFO  compiling infra (5 scala sources)
2024.12.25 18:59:49 INFO  compiling infra-testfixtures (1 scala source)
2024.12.25 18:59:49 INFO  time: compiled infra in 4.69s
Dec. 25, 2024 6:59:49 P.M. scala.meta.internal.pc.CompilerAccess retryWithCleanCompiler
INFO: compiler crashed due to an error in the Scala compiler, retrying with new compiler instance.
2024.12.25 18:59:49 INFO  compiling core (94 scala sources)
2024.12.25 18:59:51 INFO  time: compiled infra-testFixtures in 2.1s
2024.12.25 18:59:53 INFO  time: compiled core in 3.67s
2024.12.25 18:59:53 INFO  compiling core (94 scala sources)
2024.12.25 18:59:56 INFO  time: compiled core in 2.95s
2024.12.25 19:00:41 INFO  compiling core (94 scala sources)
2024.12.25 19:00:43 INFO  time: compiled core in 2.29s
2024.12.25 19:00:48 INFO  compiling core (94 scala sources)
2024.12.25 19:00:49 INFO  time: compiled core in 1.85s
2024.12.25 19:05:43 INFO  Shutting down server
2024.12.25 19:05:43 INFO  shutting down Metals
2024.12.25 19:05:43 INFO  Shut down connection with build server.
2024.12.25 19:05:43 INFO  Exiting server
2024.12.25 19:15:22 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client Cursor 1.93.1.
2024.12.25 19:15:45 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client Cursor 1.93.1.
2024.12.25 19:15:46 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:15:46 INFO  Attempting to connect to the build server...
2024.12.25 19:15:46 INFO  No running Bloop server found, starting one.
2024.12.25 19:15:50 INFO  Starting compilation server
2024.12.25 19:15:53 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 19:15:54 INFO  time: Connected to build server in 7.98s
2024.12.25 19:15:54 INFO  Connected to Build server: Bloop v2.0.6
2024.12.25 19:15:59 INFO  time: Imported build in 2.03s
2024.12.25 19:15:59 INFO  running doctor check
2024.12.25 19:15:59 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 19:16:14 INFO  time: indexed workspace in 14s
2024.12.25 19:22:45 INFO  compiling core (94 scala sources)
2024.12.25 19:22:45 INFO  compiling infra-testfixtures (1 scala source)
2024.12.25 19:22:53 INFO  time: compiled infra-testFixtures in 7.82s
2024.12.25 19:22:56 INFO  time: compiled core in 11s
2024.12.25 19:22:56 INFO  compiling core (94 scala sources)
2024.12.25 19:23:01 INFO  time: compiled core in 4.2s
2024.12.25 19:23:47 INFO  Shutting down server
2024.12.25 19:23:47 INFO  shutting down Metals
2024.12.25 19:23:48 INFO  Shut down connection with build server.
2024.12.25 19:23:47 INFO  Exiting server
2024.12.25 19:23:58 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client Cursor 1.93.1.
2024.12.25 19:24:00 INFO  Attempting to connect to the build server...
2024.12.25 19:24:00 INFO  Found a Bloop server running
2024.12.25 19:24:00 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 19:24:00 INFO  time: Connected to build server in 0.51s
2024.12.25 19:24:00 INFO  Connected to Build server: Bloop v2.0.6
Dec. 25, 2024 7:24:03 P.M. org.eclipse.lsp4j.jsonrpc.services.GenericEndpoint notify
INFO: Unsupported notification method: $/setTrace
2024.12.25 19:24:04 INFO  time: Imported build in 1.46s
2024.12.25 19:24:04 INFO  running doctor check
2024.12.25 19:24:04 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 19:24:16 INFO  time: indexed workspace in 12s
2024.12.25 19:24:18 INFO  compiling core (94 scala sources)
2024.12.25 19:24:24 INFO  time: compiled core in 5.91s
2024.12.25 19:24:24 INFO  compiling core (94 scala sources)
2024.12.25 19:24:29 INFO  time: compiled core in 4.61s
2024.12.25 19:25:17 INFO  Shutting down server
2024.12.25 19:25:17 INFO  shutting down Metals
2024.12.25 19:25:17 INFO  Shut down connection with build server.
2024.12.25 19:25:17 INFO  Exiting server
2024.12.25 19:25:37 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client Visual Studio Code 1.96.2.
2024.12.25 19:25:38 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:25:38 INFO  Attempting to connect to the build server...
2024.12.25 19:25:38 INFO  Found a Bloop server running
2024.12.25 19:25:38 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 19:25:39 INFO  time: Connected to build server in 0.52s
2024.12.25 19:25:39 INFO  Connected to Build server: Bloop v2.0.6
2024.12.25 19:25:45 INFO  time: Imported build in 2.9s
2024.12.25 19:25:45 INFO  running doctor check
2024.12.25 19:25:45 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 19:26:01 INFO  time: indexed workspace in 15s
2024.12.25 19:26:03 INFO  compiling core (94 scala sources)
2024.12.25 19:26:06 INFO  time: compiled core in 3.74s
2024.12.25 19:26:06 INFO  compiling core (94 scala sources)
2024.12.25 19:26:11 INFO  time: compiled core in 4.2s
2024.12.25 19:26:39 WARN  Could not find 'CanEqual' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
2024.12.25 19:26:39 WARN  Could not find 'CanEqual' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
2024.12.25 19:26:55 WARN  Could not find 'Local' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
2024.12.25 19:26:55 WARN  Could not find 'Local' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
2024.12.25 19:26:57 INFO  compiling core (94 scala sources)
2024.12.25 19:26:58 INFO  time: compiled core in 1.86s
2024.12.25 19:27:02 WARN  Could not find 'LocalEngine' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
2024.12.25 19:27:03 WARN  Could not find 'LocalEngine' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
Dec. 25, 2024 7:27:03 P.M. org.eclipse.lsp4j.jsonrpc.RemoteEndpoint handleCancellation
WARNING: Unmatched cancel notification for request id 109
2024.12.25 19:27:04 WARN  Could not find 'Engine' using presentation compiler nor semanticdb. Trying to guess the definition using available information from local class context. 
2024.12.25 19:27:19 INFO  Shutting down server
2024.12.25 19:27:19 INFO  shutting down Metals
2024.12.25 19:27:19 INFO  Shut down connection with build server.
2024.12.25 19:27:19 INFO  Exiting server
2024.12.25 19:37:28 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client Visual Studio Code 1.96.2.
2024.12.25 19:37:29 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:37:29 INFO  Attempting to connect to the build server...
2024.12.25 19:37:29 INFO  Found a Bloop server running
2024.12.25 19:37:30 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 19:37:30 INFO  time: Connected to build server in 0.49s
2024.12.25 19:37:30 INFO  Connected to Build server: Bloop v2.0.6
Dec. 25, 2024 7:37:34 P.M. org.eclipse.lsp4j.jsonrpc.RemoteEndpoint handleCancellation
WARNING: Unmatched cancel notification for request id 1
2024.12.25 19:37:34 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:37:34 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:37:34 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:37:34 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
Dec. 25, 2024 7:37:34 P.M. org.eclipse.lsp4j.jsonrpc.RemoteEndpoint handleCancellation
WARNING: Unmatched cancel notification for request id 2
Dec. 25, 2024 7:37:34 P.M. org.eclipse.lsp4j.jsonrpc.RemoteEndpoint handleCancellation
WARNING: Unmatched cancel notification for request id 4
2024.12.25 19:37:34 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:37:34 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:37:35 INFO  time: Imported build in 1.69s
2024.12.25 19:37:35 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/ops/AnyGraphUnary.scala. Using presentation compiler with project's scala-library version: 2.13.15
2024.12.25 19:37:35 INFO  running doctor check
2024.12.25 19:37:35 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 19:37:45 INFO  time: indexed workspace in 10s
2024.12.25 19:37:46 INFO  compiling core (94 scala sources)
2024.12.25 19:37:48 INFO  time: compiled core in 1.99s
2024.12.25 19:37:48 INFO  compiling core (94 scala sources)
2024.12.25 19:37:50 INFO  time: compiled core in 1.92s
2024.12.25 19:37:50 INFO  compiling core (94 scala sources)
2024.12.25 19:37:52 INFO  time: compiled core in 1.3s
2024.12.25 19:51:54 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client IntelliJ IntelliJ IDEA (build IC-243.22562.218).
2024.12.25 19:51:54 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/UnapplyInspection.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:51:55 INFO  Attempting to connect to the build server...
2024.12.25 19:51:55 INFO  Found a Bloop server running
2024.12.25 19:51:55 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 19:51:55 INFO  time: Connected to build server in 0.55s
2024.12.25 19:51:55 INFO  Connected to Build server: Bloop v2.0.6
2024.12.25 19:51:59 INFO  time: Imported build in 0.84s
2024.12.25 19:51:59 INFO  running doctor check
2024.12.25 19:51:59 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 19:51:59 WARN  Unable to run doctor. Make sure `isHttpEnabled` is set to `true`.
2024.12.25 19:52:05 INFO  time: indexed workspace in 6.21s
2024.12.25 19:52:06 INFO  compiling core (94 scala sources)
2024.12.25 19:52:08 INFO  time: compiled core in 1.65s
2024.12.25 19:52:08 INFO  compiling core (94 scala sources)
2024.12.25 19:52:09 INFO  time: compiled core in 1.07s
2024.12.25 19:53:41 INFO  Shutting down server
2024.12.25 19:53:41 INFO  shutting down Metals
2024.12.25 19:53:41 INFO  Shut down connection with build server.
2024.12.25 19:53:41 INFO  Exiting server
2024.12.25 19:53:51 INFO  Started: Metals version 1.4.2 in folders '/home/peng/git/spookystuff/prover-commons' for client IntelliJ IntelliJ IDEA (build IC-243.22562.218).
2024.12.25 19:53:52 INFO  Attempting to connect to the build server...
2024.12.25 19:53:52 INFO  Found a Bloop server running
2024.12.25 19:53:52 INFO  tracing is disabled for protocol BSP, to enable tracing of incoming and outgoing JSON messages create an empty file at /home/peng/git/spookystuff/prover-commons/.metals/bsp.trace.json or /home/peng/.cache/metals/bsp.trace.json
2024.12.25 19:53:53 INFO  time: Connected to build server in 0.47s
2024.12.25 19:53:53 INFO  Connected to Build server: Bloop v2.0.6
2024.12.25 19:53:58 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/UnapplyInspection.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:53:58 INFO  time: Imported build in 2.18s
2024.12.25 19:53:59 INFO  no build target found for /home/peng/git/spookystuff/prover-commons/module/core/src/main/scala/ai/acyclic/prover/commons/graph/local/UnapplyInspection.scala. Using presentation compiler with project's scala-library version: 3.3.4
2024.12.25 19:53:58 INFO  running doctor check
2024.12.25 19:53:58 INFO  java targets: infra-test, infra, prover-commons-prover-commons-testFixtures, notebook-test, notebook, spark-test, meta2, abandoned-testFixtures, notebook-testFixtures, abandoned-test, prover-commons-prover-commons, meta2-testFixtures, abandoned, core-testFixtures, infra-testFixtures, meta2-test, spark, core, prover-commons-testFixtures, spark-testFixtures, core-test, prover-commons
2024.12.25 19:53:58 WARN  Unable to run doctor. Make sure `isHttpEnabled` is set to `true`.
Dec. 25, 2024 7:54:01 P.M. org.eclipse.lsp4j.jsonrpc.RemoteEndpoint handleCancellation

since Metals has no commandline option, it is impossible to set it to true

Expected behavior

need an option to set it to true

Operating system

Linux

Editor/Extension

Other

Version of Metals

1.4.2

Extra context or search terms

No response