Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Sage Patchbot

tree: 208f385bdf

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 images
Octocat-spinner-32 templates
Octocat-spinner-32 .hgignore
Octocat-spinner-32 README.txt
Octocat-spinner-32 db.py
Octocat-spinner-32 http_post_file.py
Octocat-spinner-32 patchbot.py
Octocat-spinner-32 plugins.py
Octocat-spinner-32 run_server.py
Octocat-spinner-32 serve.py
Octocat-spinner-32 start
Octocat-spinner-32 trac.py
Octocat-spinner-32 util.py
README.txt
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.
Something went wrong with that request. Please try again.