mirror of
https://github.com/enso-org/enso.git
synced 2024-11-22 03:32:23 +03:00
Disable IR caching (again)
In light of more problems that IR caching revealed it makes sense to have a stable but slower platform.
This commit is contained in:
parent
2adb8bb86d
commit
9d997ba1d0
@ -324,7 +324,7 @@ class MainModule(serverConfig: LanguageServerConfig, logLevel: Level) {
|
||||
.logLevel(logLevel)
|
||||
.strictErrors(false)
|
||||
.disableLinting(false)
|
||||
.enableIrCaches(true)
|
||||
.enableIrCaches(false) // Enable once #11022 is addressed
|
||||
.out(stdOut)
|
||||
.err(stdErr)
|
||||
.in(stdIn)
|
||||
|
Loading…
Reference in New Issue
Block a user