#!/usr/local/bin/python3 import sys import time import langserver.langserver langserver.langserver.main()