tomleese/srcomp-scorer — pull request #1 by prophile (2014-07-25 18:58:26+00:00)
Title: Move the compstate configuration to Flask config

This means two things that help in running the system from WSGI:

1. It doesn't try to parse CLI arguments when used as a WSGI module, and:
2. Standard WSGI config can be used to pass in the comp state directory.