search

goblint / GobPie

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

More helpful error when server crashes 5 times #26

Closed vesalvojdani closed 2 years ago

vesalvojdani commented 2 years ago

This is the only output? 

[Info  - 12:05:54 PM] Connection to server got closed. Server will restart.
[Info  - 12:05:55 PM] Connection to server got closed. Server will restart.
[Info  - 12:05:56 PM] Connection to server got closed. Server will restart.
[Info  - 12:05:57 PM] Connection to server got closed. Server will restart.
[Error - 12:05:57 PM] Connection to server got closed. Server will not be restarted.

Typically result of bad configuration file, but Goblint must have given some error message. Would help if this was appended to the output here.