Currently the logging in Reveaal is not sent to the GUI, even if they may be relevant (mainly info-logs). There should be added a way of logging information that should be sent to the GUI. This implementation should be able to separate the responses between multiple clients.
Currently the logging in
Reveaalis not sent to the GUI, even if they may be relevant (mainlyinfo-logs). There should be added a way of logging information that should be sent to the GUI. This implementation should be able to separate the responses between multiple clients.