Format: application/octet-stream
⬇ Download File (1.5 KB)
   1  import sys
   2  from typing import List, Optional, Type, TypeVar, overload
   3  
   4  from .handlers import SimpleHandler
   5  from .types import ErrorStream, StartResponse, WSGIApplication, WSGIEnvironment
   6  
   7  if sys.version_info < (3,):
   8      from BaseHTTPServer import BaseHTTPRequestHandler, HTTPServer
   9  else:
  10      from http.server import BaseHTTPRequestHandler, HTTPServer
  11  
  12  server_version: str  # undocumented
  13  sys_version: str  # undocumented
  14  software_version: str  # undocumented
  15  
  16  class ServerHandler(SimpleHandler):  # undocumented
  17      server_software: str
  18      def close(self) -> None: ...
  19  
  20  class WSGIServer(HTTPServer):
  21      application: Optional[WSGIApplication]
  22      base_environ: WSGIEnvironment  # only available after call to setup_environ()
  23      def setup_environ(self) -> None: ...
  24      def get_app(self) -> Optional[WSGIApplication]: ...
  25      def set_app(self, application: Optional[WSGIApplication]) -> None: ...
  26  
  27  class WSGIRequestHandler(BaseHTTPRequestHandler):
  28      server_version: str
  29      def get_environ(self) -> WSGIEnvironment: ...
  30      def get_stderr(self) -> ErrorStream: ...
  31      def handle(self) -> None: ...
  32  
  33  def demo_app(environ: WSGIEnvironment, start_response: StartResponse) -> List[bytes]: ...
  34  
  35  _S = TypeVar("_S", bound=WSGIServer)
  36  @overload
  37  def make_server(host: str, port: int, app: WSGIApplication, *, handler_class: Type[WSGIRequestHandler] = ...) -> WSGIServer: ...
  38  @overload
  39  def make_server(
  40      host: str, port: int, app: WSGIApplication, server_class: Type[_S], handler_class: Type[WSGIRequestHandler] = ...
  41  ) -> _S: ...
  42