Specific terminate functions for more granular control and GUI server proper shutdown

JdeRobot / RoboticsApplicationManager

Robotic applications lifecycle management

3 stars 13 forks source link

Closed OscarMrZ closed 5 months ago

OscarMrZ commented 5 months ago

Solves #126 and fixes a previously unknown bug: the GUI server didn't properly shutdown.