Docker Operation Precautions
Stop the robots first, then the docker
Before deleting a docker or stopping its process, make sure no live robot is running on it.
Stopping the docker normally
- Command-line version: press
Ctrl+Conce in the terminal, or sendSIGTERMto the process (kill <PID>,systemctl stop). - Windows GUI version: click the stop button.
On a stop request the docker shuts down gracefully: it stops all its live robots, reports their final state and then logs out of the platform. Pressing Ctrl+C again during this shutdown skips the reporting and logout and exits at once; normally do not do that.
Avoid forced termination
Do not end the docker with kill -9, cut the power or force a shutdown. The docker then has no chance to log out, and its live robots may still show as running on the platform and keep being billed; in that case the offline docker has to be deleted before those robots can be stopped. Stop the docker before rebooting the server; when it runs under a service manager such as systemd, a system shutdown sends SIGTERM automatically.