1111111
Basic System Relaunch – should be used if there’s a fault on the screens.
2222222
Full system relaunch – the basic relaunch, plus a restart of lightdm
3333333
Kills chrome – useful for chrome based applications that are acting weird
4444444
Restarts ROS – for when peripheral devices start acting up
5555555
Restarts the ros_cms (not applicable to Portal at the moment)
6666666
Restarts the display nodes – takes a long time, worst case scenario
8888888
Relaunch as above, with included squid purge. This is useful when you see google earth errors, or grey screens that’s persist with relaunches