This pull request fixes https://github.com/goblint/GobPie/issues/49 and some other cases where GobPie does not show error popups to the user even though it probably should.
Error popups are now shown in the following cases:
On errors that occur during startup, before MagpieServer has been fully configured.
On errors returned by Goblint in response to the analyze request.
Additionally this tweaks some popup related logic to ensure that the 'finished analysing' notification is shown after the analysis has completed and only if the analysis completed successfully.
This pull request fixes https://github.com/goblint/GobPie/issues/49 and some other cases where GobPie does not show error popups to the user even though it probably should. Error popups are now shown in the following cases:
analyze
request.Additionally this tweaks some popup related logic to ensure that the 'finished analysing' notification is shown after the analysis has completed and only if the analysis completed successfully.