[Python-Dev] Python startup time - daemon
Guido van Rossum
guido at python.org
Sat May 12 00:08:40 EDT 2018
On Fri, May 11, 2018 at 11:57 PM, Barry Warsaw <barry at python.org> wrote:
> On May 11, 2018, at 12:23, Guido van Rossum <guido at python.org> wrote:
> >
> > Indeed, we have an implementation of this specific to mypy.
>
> Is there anything in mypy’s implementation that can be generalized into a
> library?
>
Not sure, here's the code:
https://github.com/python/mypy/blob/master/mypy/dmypy.py
https://github.com/python/mypy/blob/master/mypy/dmypy_server.py
(also dmypy_util.py there)
--
--Guido van Rossum (python.org/~guido)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20180512/6c7147d2/attachment.html>
More information about the Python-Dev
mailing list