goblint / GobPie

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

Forwarding messages to client does not work before MagpieServer is launched #49

Closed FeldrinH closed 1 year ago

FeldrinH commented 1 year ago

Multiple places, most notably the GobPie config reader attempt to show error popups to the client using MagpieServer.forwardMessageToClient before MagpieServer is launched. This does nothing and no error popup is shown (logging does work so the error message does show up under GobPie log output and is not completely lost).