Closed FeldrinH closed 1 year ago
This pull request fixes #55 and applies the fix from https://github.com/goblint/GobPie/commit/de3d38b4b094f350a90b722520f84657565cc1b6 to the goblintExecutable field.
goblintExecutable
The issue with showcfg was that the list of commands was stored during the MagpieServer initialize method. Calling the MagpieServer initialize method after configurationDone has fixed the problem
showcfg
configurationDone
This pull request fixes #55 and applies the fix from https://github.com/goblint/GobPie/commit/de3d38b4b094f350a90b722520f84657565cc1b6 to the
goblintExecutable
field.The issue with
showcfg
was that the list of commands was stored during the MagpieServer initialize method. Calling the MagpieServer initialize method afterconfigurationDone
has fixed the problem