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
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()
Computing file changes ...