diff --git a/core/amber/src/main/resources/application.conf b/core/amber/src/main/resources/application.conf index 18df98617e1..acb296eecfe 100644 --- a/core/amber/src/main/resources/application.conf +++ b/core/amber/src/main/resources/application.conf @@ -80,15 +80,6 @@ schedule-generator { search-timeout-milliseconds = 1000 } -python-language-server{ - provider = "pyright" # valid options: ["pyright", "pylsp"] - port = 3000 - # Maximum number of retries for starting the language server. - retry-counts = 3 - # Time in milliseconds to wait between retry attempts when starting the language server - wait-time-ms = 200 -} - ai-assistant-server{ assistant = "none" # Put your Ai Service authentication key here diff --git a/core/amber/src/main/scala/edu/uci/ics/amber/engine/common/AmberConfig.scala b/core/amber/src/main/scala/edu/uci/ics/amber/engine/common/AmberConfig.scala index ebebb3287ee..3c0f0b6b668 100644 --- a/core/amber/src/main/scala/edu/uci/ics/amber/engine/common/AmberConfig.scala +++ b/core/amber/src/main/scala/edu/uci/ics/amber/engine/common/AmberConfig.scala @@ -106,8 +106,6 @@ object AmberConfig { val cleanupAllExecutionResults: Boolean = getConfSource.getBoolean("web-server.clean-all-execution-results-on-server-start") - // Language server configuration - val pythonLanguageServerConfig: Config = getConfSource.getConfig("python-language-server") // Python language server configuration var aiAssistantConfig: Option[Config] = None if (getConfSource.hasPath("ai-assistant-server")) {