Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
The patchbot only needs a Sage install and is started with python patchbot.py [options] Type --help for a list of options, though most configuration is done via an optional JSON config file. This is what is invoked by sage --patchbot [...] The server needs a Python with Flask and mongod installed. Installing numpy and PIL will allow multi-colored blurbs. Start a monitoring loop with python run_server.py Currently, the server is set up to run on port 21100, communicating with a mongod instance running on 21002.