From: Matteo Nastasi (mop) <nastasi@alternativeoutput.com>
Date: Thu, 26 Jul 2012 06:44:07 +0000 (+0200)
Subject: fix bug for already closed readed socket
X-Git-Tag: v4.0.0~82
X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=8c1df4ebf55f715144a422cdb4be7eee48f1b5d2;p=brisk.git

fix bug for already closed readed socket
---

diff --git a/web/spush/brisk-spush.php b/web/spush/brisk-spush.php
index 9593450..a811a29 100755
--- a/web/spush/brisk-spush.php
+++ b/web/spush/brisk-spush.php
@@ -173,6 +173,11 @@ function main()
             }
             /* At least at one of the sockets something interesting happened */
             foreach ($read as $i => $sock) {
+                /* is_resource check is required because there is the possibility that
+                   during new request an old connection is closed */
+                if (!is_resource($sock)) {
+                    continue;
+                }
                 if ($sock === $list) {
                     printf("NUOVA CONNEX\n");
                     $new_unix = stream_socket_accept($list);