Revision fda5b2f7c785b32ad563e3bf0c28e407d0199bad authored by Florian Rivoal on 30 March 2018, 04:19:15 UTC, committed by Florian Rivoal on 30 March 2018, 04:19:15 UTC
1 parent f9881ff
Raw File
serve.py
import sys
import logging

try:
    from tools.serve import serve
except ImportError:
    logging.error("tools.serve not found.  Did you forget to run "
                  '"git submodule update --init --recursive"?')
    sys.exit(2)

def main():
    serve.main()
back to top