Wrong type on server.start_io

[OhioDschungel6]

The server.start_io method has 2 optional arguments which are typed with TextIO.
Entering an TextIO object crashes the language server.

Entering a BinaryIO object makes everything work.
This seems reasonable as the default case also uses an BinaryIO object (see line 239):
transport = StdOutTransportAdapter(stdin or sys.stdin.buffer, stdout or sys.stdout.buffer)

sys.stdin.buffer has type BinaryIO

Solution:
in server.py change
def start_io(self, stdin: Optional[TextIO] = None, stdout: Optional[TextIO] = None):
to
def start_io(self, stdin: Optional[BinaryIO] = None, stdout: Optional[BinaryIO] = None):

[tombh]

Like this? #497

[OhioDschungel6]

Yes exactly :) Thanks!

[tombh]

Merged into main ✅ Please let us know if there's any more problems.