This repository has been archived by the owner on Feb 1, 2019. It is now read-only.

Replace log.py with logging #36

Open

jayvdb opened this issue Mar 29, 2018 · 0 comments

Assignees

Labels

difficulty/low importance/low

Member

jayvdb commented Mar 29, 2018

There is a log.py which just does a print to stderr.

This tool should use standard python logging

The text was updated successfully, but these errors were encountered:

jayvdb added the difficulty/low label

jayvdb assigned ksdme

jayvdb mentioned this issue

langserver.py: Update to use jsonrpc #32

Merged

gaocegege added the importance/low label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.