Fix type of getsockopt (#213)

This commit is contained in:
David Euresti
2016-05-18 15:30:24 -07:00
committed by Guido van Rossum
parent 9154cd1320
commit 2bb026cd76
3 changed files with 5 additions and 5 deletions

View File

@@ -264,7 +264,7 @@ class SocketType(object):
def fileno(self) -> int: ...
def getpeername(self) -> tuple: ...
def getsockname(self) -> tuple: ...
def getsockopt(self, level: int, option: str, buffersize: int = ...) -> str: ...
def getsockopt(self, level: int, option: int, buffersize: int = ...) -> str: ...
def gettimeout(self) -> float: ...
def listen(self, backlog: int) -> None:
raise error

View File

@@ -295,9 +295,9 @@ class socket:
def getsockname(self) -> Any: ...
@overload
def getsockopt(self, level: int, optname: str) -> int: ...
def getsockopt(self, level: int, optname: int) -> int: ...
@overload
def getsockopt(self, level: int, optname: str, buflen: int) -> bytes: ...
def getsockopt(self, level: int, optname: int, buflen: int) -> bytes: ...
def gettimeout(self) -> float: ...
def ioctl(self, control: object,