enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-10-05 17:17:50 +03:00
Code Issues Projects Releases Wiki Activity

Fail the execution if the result looks like an error

Browse Source
This commit is contained in:
Jaroslav Tulach 2024-08-18 11:07:46 +02:00
parent 7df58efc3a
commit e6fbf73cfc
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -893,6 +893,9 @@ public class Main {
if (!res.isNull()) {
var textRes = res.isString() ? res.asString() : res.toString();
println(textRes);
if (res.isException()) {
throw exitFail();
}
}
}
} catch (PolyglotException e) {