change EOFCode eof_action from end_of_stream to end_of_file, add echo_server.pl example

2020-05-05 14:15:16 -06:00
parent 53ae8b9bd1
commit 9a63b1751b
2 changed files with 32 additions and 1 deletions
--- a/src/prolog/machine/streams.rs
+++ b/src/prolog/machine/streams.rs
@@ -356,7 +356,7 @@ impl MachineState {
            }
            EOFAction::EOFCode => {
                let end_of_stream = self.heap.to_unifiable(
-                    HeapCellValue::Atom(clause_name!("end_of_stream"), None)
+                    HeapCellValue::Atom(clause_name!("end_of_file"), None)
                );

                stream.past_end_of_stream = true;