[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Python-Dev] Python startup time - daemon

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:
(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>