public static String getSourceName() {
Interpreter c = Interpreter.current();
- return c.f == null ? null : c.f.sourceName;
+ return c == null || c.f == null ? null : c.f.sourceName;
}
public static class PausedException extends Exception { PausedException() { } }