swh:1:snp:b37d435721bbd450624165f334724e3585346499
Raw File
Tip revision: 11690672f466c806815a6998493660c5c9d69e1e authored by Timothy Gu on 05 September 2017, 06:26:22 UTC
Add symbol [[Set]]
Tip revision: 1169067
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