From 58d864d726f045b20e411585f7f6801f3e5c2726 Mon Sep 17 00:00:00 2001 From: Dima Gerasimov Date: Sun, 30 Oct 2016 20:18:51 +0300 Subject: [PATCH] Add __enter__ and __exit__ to Pool stub (#642) --- stdlib/3/multiprocessing/__init__.pyi | 2 ++ 1 file changed, 2 insertions(+) diff --git a/stdlib/3/multiprocessing/__init__.pyi b/stdlib/3/multiprocessing/__init__.pyi index aeca4cb40..69545f43e 100644 --- a/stdlib/3/multiprocessing/__init__.pyi +++ b/stdlib/3/multiprocessing/__init__.pyi @@ -60,6 +60,8 @@ class Pool(): def close(self) -> None: ... def terminate(self) -> None: ... def join(self) -> None: ... + def __enter__(self) -> 'Pool': ... + def __exit__(self, exc_type, exc_val, exc_tb) -> None: ... class Process(): # TODO: set type of group to None