From fdbaf6ac9d6c324bc8d5cf47c6ec8a7a7cae17dd Mon Sep 17 00:00:00 2001 From: Thierry Marianne Date: Sun, 14 Sep 2025 13:47:26 +0200 Subject: [PATCH] handle named tcp and http read stream on term reading from user input --- src/machine/machine_state.rs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs index d40d564d..237fafbb 100644 --- a/src/machine/machine_state.rs +++ b/src/machine/machine_state.rs @@ -755,6 +755,15 @@ impl MachineState { ); } + #[cfg(feature = "http")] + if let Stream::HttpRead(_) = stream { + return self.read_term( + stream, + indices, + MachineState::read_term_from_user_input_eof_handler, + ); + } + if let Stream::InputFile(_) = stream { return self.read_term( stream, @@ -763,6 +772,14 @@ impl MachineState { ); } + if let Stream::NamedTcp(_) = stream { + return self.read_term( + stream, + indices, + MachineState::read_term_from_user_input_eof_handler, + ); + } + if let Stream::Byte(_) = stream { return self.read_term( stream, -- 2.54.0