The server restarting functionality, more precisely connecting back to the socket after restarting the Goblint server, is broken. This means that currently modifying the Goblint configuration file breaks the extension. But there is no point in trying to figure out an implementation for the restarting right now because after implementing #32, there is no need to restart the server manually after all. Therefore the full completion of this PR is currently blocked by #32.
Solves #37.
The server restarting functionality, more precisely connecting back to the socket after restarting the Goblint server, is broken. This means that currently modifying the Goblint configuration file breaks the extension. But there is no point in trying to figure out an implementation for the restarting right now because after implementing #32, there is no need to restart the server manually after all. Therefore the full completion of this PR is currently blocked by #32.
TODO