mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-28 06:36:54 +08:00
Add __enter__ and __exit__ to Pool stub (#642)
This commit is contained in:
committed by
Guido van Rossum
parent
fa1eeb024e
commit
58d864d726
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user