enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-22 11:52:59 +03:00
Code Issues Projects Releases Wiki Activity

Set live execution environment for REPL (#11353)

Browse Source
This commit is contained in:
Pavel Marek 2024-10-18 12:07:26 +02:00 committed by GitHub
parent 5f44c512a8
commit f470e9c63c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
engine/common/src/main/java/org/enso/common/ContextFactory.java
View File

@ -3,6 +3,7 @@ package org.enso.common;
import java.io.File;
import java.io.InputStream;
import java.io.OutputStream;
import java.util.HashMap;
import java.util.Map;
import org.enso.logger.Converter;
import org.enso.logger.JulHandler;
@ -50,7 +51,7 @@ public final class ContextFactory {
private String executionEnvironment;
private String checkForWarnings;
private int warningsLimit = 100;
private java.util.Map<String, String> options = java.util.Collections.emptyMap();
private java.util.Map<String, String> options = new HashMap<>();
private boolean enableDebugServer;
private ContextFactory() {}

1
engine/runner/src/main/java/org/enso/runner/Main.java
View File

@ -960,6 +960,7 @@ public class Main {
.messageTransport(replTransport())
.enableDebugServer(true)
.logLevel(logLevel)
.executionEnvironment("live")
.logMasking(logMasking)
.enableIrCaches(enableIrCaches)
.disableLinting(true)