scryer-prolog
scryer-prolog copied to clipboard
Do not throw exception on close/1 errors
This PR https://github.com/mthom/scryer-prolog/pull/1051 removed the panic on closing a non-existing stream, throwing a Prolog exception instead. However, this also doesn't seem to be the right approach, since it is operating system dependant as seen here: https://github.com/mthom/scryer-prolog/issues/1133
This PR will ignore every error generated by close/1 regarding TcpStream and TlsStream
See 7.10.2.12 Options on stream closure, maybe it would be better to add there something.
I should start searching for my ISO Prolog copy