From: Matteo Nastasi (mop) 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);