Shutdown or restart the bot

Overview

In order to shutdown or restart any of the bots, one has to login to the VPS and command Docker to execute the corresponding task. Only members of the Moderator-Team can do the following steps.

See Access the VPS for details of the login process.

Guide

1. ssh togetherjava to login to the VPS
2. Either cd ~/docker-infra/master-bot or cd ~/docker-infra/develop-bot to go to the directory of the corresponding bot
3. Execute the corresponding docker-compose command
   a. To issue a graceful shutdown, execute docker-compose down
   b. To shutdown the bot forcefully, use docker-compose kill
   c. To command a restart of the bot, put docker-compose restart