mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 04:54:47 +08:00
Add stubs for portpicker (#10944)
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
This commit is contained in:
2
stubs/portpicker/METADATA.toml
Normal file
2
stubs/portpicker/METADATA.toml
Normal file
@@ -0,0 +1,2 @@
|
||||
version = "1.6.*"
|
||||
upstream_repository = "https://github.com/google/python_portpicker"
|
||||
21
stubs/portpicker/portpicker.pyi
Normal file
21
stubs/portpicker/portpicker.pyi
Normal file
@@ -0,0 +1,21 @@
|
||||
import socket
|
||||
from typing_extensions import TypeAlias
|
||||
|
||||
_Port: TypeAlias = int
|
||||
|
||||
__all__ = ("bind", "is_port_free", "pick_unused_port", "return_port", "add_reserved_port", "get_port_from_port_server")
|
||||
|
||||
class NoFreePortFoundError(Exception): ...
|
||||
|
||||
def add_reserved_port(port: _Port) -> None: ...
|
||||
def return_port(port: _Port) -> None: ...
|
||||
def bind(port: _Port, socket_type: socket.SocketKind, socket_proto: int) -> _Port | None: ...
|
||||
def is_port_free(port: _Port) -> bool: ...
|
||||
def pick_unused_port(pid: int | None = None, portserver_address: str | None = None) -> _Port: ...
|
||||
def get_port_from_port_server(portserver_address: str, pid: int | None = None) -> _Port | None: ...
|
||||
|
||||
# legacy aliases
|
||||
Bind = bind
|
||||
GetPortFromPortServer = get_port_from_port_server
|
||||
IsPortFree = is_port_free
|
||||
PickUnusedPort = pick_unused_port
|
||||
Reference in New Issue
Block a user