{
  "file_path": "D:\\Python\\Quantum\\research\\lean\\NguyenRH1\\NguyenRH1\\LiBasePoints.lean",
  "offset": 300,
  "limit": 130
}

{
  "type": "text",
  "file": {
    "filePath": "C:\\Users\\lucky\\AppData\\Local\\Programs\\Python\\Python314\\Lib\\wsgiref\\handlers.py",
    "content": "    def setup_environ(self):\n        \"\"\"Set up the environment for one request\"\"\"\n\n        env = self.environ = self.os_environ.copy()\n        self.add_cgi_vars()\n\n        env['wsgi.input']        = self.get_stdin()\n        env['wsgi.errors']       = self.get_stderr()\n        env['wsgi.version']      = self.wsgi_version\n        env['wsgi.run_once']     = self.wsgi_run_once\n        env['wsgi.url_scheme']   = self.get_scheme()\n        env['wsgi.multithread']  = self.wsgi_multithread\n        env['wsgi.multiprocess'] = self.wsgi_multiprocess\n\n        if self.wsgi_file_wrapper is not None:\n            env['wsgi.file_wrapper'] = self.wsgi_file_wrapper\n\n        if self.origin_server and self.server_software:\n            env.setdefault('SERVER_SOFTWARE',self.server_software)\n\n\n    def finish_response(self):\n        \"\"\"Send any iterable data, then close self and the iterable\n\n        Subclasses intended for use in asynchronous servers will\n        want to redefine this method, such that it sets up callbacks\n        in the event loop to iterate over the data, and to call\n        'self.close()' once the response is finished.\n        \"\"\"\n        try:\n            if not self.result_is_file() or not self.sendfile():\n                for data in self.result:\n                    self.write(data)\n                self.finish_content()\n        except:\n            # Call close() on the iterable returned by the WSGI application\n            # in case of an exception.\n            if hasattr(self.result, 'close'):\n                self.result.close()\n            raise\n        else:\n            # We only call close() when no exception is raised, because it\n            # will set status, result, headers, and environ fields to None.\n            # See bpo-29183 for more details.\n            self.close()\n\n\n    def get_scheme(self):\n        \"\"\"Return the URL scheme being used\"\"\"\n        return guess_scheme(self.environ)\n\n\n    def set_content_length(self):\n        \"\"\"Compute Content-Length or switch to chunked encoding if possible\"\"\"\n        try:\n            blocks = len(self.result)\n        except (TypeError,AttributeError,NotImplementedError):\n            pass\n        else:\n            if blocks==1:\n                self.headers['Content-Length'] = str(self.bytes_sent)\n                return\n        # XXX Try for chunked encoding if origin server and client is 1.1\n\n\n    def cleanup_headers(self):\n        \"\"\"Make any necessary header changes or defaults\n\n        Subclasses can extend this to add other defaults.\n        \"\"\"\n        if 'Content-Length' not in self.headers:\n            self.set_content_length()\n\n    def start_response(self, status, headers,exc_info=None):\n        \"\"\"'start_response()' callable as specified by PEP 3333\"\"\"\n\n        if exc_info:\n            try:\n                if self.headers_sent:\n                    raise",
    "numLines": 80,
    "startLine": 152,
    "totalLines": 575
  }
}