mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
Avoid filling in the stack trace for Java commits.
Diff from Maxime Van Assche.
java/runtime/Commit.java:
Override fillInStackTrace() method to do nothing and avoid
constructing a stack trace.
This commit is contained in:
@@ -9,6 +9,9 @@
|
||||
package jmercury.runtime;
|
||||
|
||||
public class Commit extends java.lang.Error {
|
||||
|
||||
public Throwable fillInStackTrace() {
|
||||
// Do nothing.
|
||||
return this;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user