closeStdin method

Future<void> closeStdin()

Half-closes the shell's standard input (Ctrl-D), letting it exit with its own status instead of being killed. Not part of ShellSessionPort; the local host holds the concrete type and calls this from the editor's EOF handler.

Implementation

Future<void> closeStdin() => _shell.closeStdin();