goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Better error handling #27

Closed karoliineh closed 2 years ago

karoliineh commented 2 years ago

As pointed out by @vesalvojdani in #26, the extension just crashes 5 times when the GobPie configuration is missing from the project root.

In this pull request

vesalvojdani commented 2 years ago

Seems a bit roundabout to tell the user to check the log for a simple one line error message that prevents the thing from starting. Why not display it directly?