From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 13 May 2020 00:51:34 +0000 (-0600)
Subject: do not unwrap stream write, TcpStream::shutdown results (#492)
X-Git-Tag: v0.8.123~38
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3c6149fd270c1ca4029882c942af8767e64e9c97;p=scryer-prolog.git

do not unwrap stream write, TcpStream::shutdown results (#492)
---

diff --git a/src/prolog/machine/streams.rs b/src/prolog/machine/streams.rs
index 84abb488..9e6ea491 100644
--- a/src/prolog/machine/streams.rs
+++ b/src/prolog/machine/streams.rs
@@ -107,7 +107,7 @@ impl Drop for StreamInstance {
     fn drop(&mut self) {
         match self {
             StreamInstance::TcpStream(_, ref mut tcp_stream) => {
-                tcp_stream.shutdown(Shutdown::Both).unwrap();
+                discard_result!(tcp_stream.shutdown(Shutdown::Both));
             }
             _ => {
             }
diff --git a/src/prolog/machine/system_calls.rs b/src/prolog/machine/system_calls.rs
index 86f32fcb..6ba35837 100644
--- a/src/prolog/machine/system_calls.rs
+++ b/src/prolog/machine/system_calls.rs
@@ -2065,13 +2065,13 @@ impl MachineState {
                         match Number::try_from((addr, &self.heap)) {
                             Ok(Number::Integer(n)) => {
                                 if let Some(nb) = n.to_u8() {
-                                    stream.write(&mut [nb]).unwrap();
+                                    discard_result!(stream.write(&mut [nb]));
                                     return return_from_clause!(self.last_call, self);
                                 }
                             }
                             Ok(Number::Fixnum(n)) => {
                                 if let Ok(nb) = u8::try_from(n) {
-                                    stream.write(&mut [nb]).unwrap();
+                                    discard_result!(stream.write(&mut [nb]));
                                     return return_from_clause!(self.last_call, self);
                                 }
                             }