Skip to content

Commit 29a6216

Browse files
fix crash, when reading none existing file
IOException catching was not enough. In my case some kind of UnixException was thrown. Also just softfail when not able read file from disk, do not exit and terminate program.
1 parent d10b485 commit 29a6216

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

src/dev/flang/shared/SourceText.java

+2-2
Original file line numberDiff line numberDiff line change
@@ -99,9 +99,9 @@ private static String ReadFromDisk(URI uri)
9999
{
100100
return Files.readString(Path.of(uri), StandardCharsets.UTF_8);
101101
}
102-
catch (IOException e)
102+
catch (Exception e)
103103
{
104-
ErrorHandling.WriteStackTraceAndExit(1, e);
104+
ErrorHandling.WriteStackTrace(e);
105105
return null;
106106
}
107107
}

version.txt

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.89.1
1+
0.89.2

0 commit comments

Comments
 (0)