From c7e5e3c4738815283adedfcc7c1652f3532cec60 Mon Sep 17 00:00:00 2001 From: Nyholm Date: Sat, 6 Jan 2018 14:58:55 +0100 Subject: [PATCH 1/2] Close socket on descruct --- src/Stream.php | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/Stream.php b/src/Stream.php index 507f135..ce8ef87 100644 --- a/src/Stream.php +++ b/src/Stream.php @@ -66,6 +66,14 @@ public function __toString() } } + /** + * Close the socket when the object is destructed. + */ + public function __destruct() + { + $this->close(); + } + /** * {@inheritdoc} */ From 729926252f36ebac54f17b1ce3c68e98322fb7a1 Mon Sep 17 00:00:00 2001 From: Nyholm Date: Sat, 6 Jan 2018 15:18:40 +0100 Subject: [PATCH 2/2] Fixed the tests --- src/Stream.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Stream.php b/src/Stream.php index ce8ef87..e472366 100644 --- a/src/Stream.php +++ b/src/Stream.php @@ -71,7 +71,9 @@ public function __toString() */ public function __destruct() { - $this->close(); + if (is_resource($this->socket)) { + $this->close(); + } } /**