swh:1:snp:b37d435721bbd450624165f334724e3585346499
Raw File
Tip revision: 4ecc44f58698cc889d8fe2a24152ab1cc0d48af4 authored by Geoffrey Sneddon on 09 April 2018, 13:16:33 UTC
Re-add logging for used port
Tip revision: 4ecc44f
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