Features

This page goes into some of the features and workings of Prodosia.

Running Prodosia part-time or full-time

Prodosia was created with people that can't run the bot 24/7 in mind. It is entirely possible to start the application whenever it is required (when subscribing people / tagging a post) and then closing it down again when it is done. There are however distinct advantages about running it full-time.

• Better usage of the API limit.
  This pertains to things like deleting comments and sanitizing users.
• Ability to run the application for several people.
  If the application contains several Trackers that are active at varying times, Prodosia will not respond to them when the application is shut down. Running it full-time means it can be used by anyone at any time reliably. Even so, if the application is shut down it will resume work again once booted, Scanning belated comments by the Taggers and eventually catching up on work.

Posts that are being tagged, comments being deleted, users checked, Tracker comments, all of these will be resumed where you were when the application was shut down. As such, it is safe to close it whenever and open it up again later on.

For developers:
Measures for Consistent Save State

Running Prodosia with several people

It is possible to share the load of running the bot with other people (for example when someone goes on vacation). In order to do this, the only file that needs to be shared amongst each other is the database.db file. It is highly recommended to make a backup of it before transfer to prevent data loss.

Support progress and label your database backups according to ISO 8601.

It is important to only share the keys.txt file with people that are trusted, since it contains the Imgur API credentials and Discord bot token. It is highly recommended to only share the discord token separately (since it pertains to the discord bot account) and let the person that is taking over generate their own Imgur credentials.

In case of abuse, do the following:

• https://imgur.com/account/settings/apps
  Either generate new secret to retain the client ID
  or
  delete and create new Imgur API credentials.
• https://discordapp.com/developers/applications/me
  Go to the specific Discord bot, then to the Bot tab. Next to Token one can click to reveal the token. Do so, and then select Generate a new token? to invalidate the old token and generate a new one.

In both cases the credentials will need to be updated in the application.