handle named tcp and http read stream on term reading from user input

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index d40d564d1d0b2518791dd0e9925d8a6bda2de648..237fafbb7532badda1cc0b37ecc417139e319047 100644 (file)
--- 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,