Skip to content
Sage Patchbot http://sagemath.org
Python HTML Other
Latest commit 87511db @fchapoton fchapoton new favicon

README.md

PATCHBOT

The patchbot only needs a Sage source install (clone of git repository) 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 [...]`

For more documentation on running a patchbot, see this page.

SERVER

The server needs a Python with Flask and mongodb installed. Installing numpy and PIL (pillow) will allow multi-colored blurbs.

Start a monitoring loop with

`python run_server.py` (THIS IS OBSOLETE, now using serve.wsgi)

Currently, the server is set up to run on port 21100, communicating with a mongod instance running on 21002.

Something went wrong with that request. Please try again.