Encode a JSON-RPC message with Content-Length header.
(obj: dict[str, Any])
| 100 | |
| 101 | |
| 102 | def _encode_message(obj: dict[str, Any]) -> bytes: |
| 103 | """Encode a JSON-RPC message with Content-Length header.""" |
| 104 | body = json.dumps(obj).encode("utf-8") |
| 105 | header = f"Content-Length: {len(body)}\r\n\r\n".encode("ascii") |
| 106 | return header + body |
| 107 | |
| 108 | |
| 109 | def _read_headers(stream) -> dict[str, str]: |