Content - db92a67f44cd1bd04f0309695bcfcbd5efe5c096 - e25d99a/serve.py

swh:1:snp:b37d435721bbd450624165f334724e3585346499

Tip revision: e1dec59097506a0bf5bfe29f9521b4061e2cf72e authored by Geoffrey Sneddon on 13 March 2018, 22:23:22 UTC
Revert "Add a lint to catch adding files that would otherwise be ignored by git."

Tip revision: e1dec59

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()