Thomas Bruederli
2013-05-16 3bc871e11398f67c0a59106ccaf23fa4e68ddd6f
program/lib/Net/Socket.php
@@ -267,8 +267,13 @@
            $this->timeout = $seconds + $microseconds/1000000;
        }
        if ($this->timeout > 0) {
        return stream_set_timeout($this->fp, (int) $seconds, (int) $microseconds);
    }
        else {
            return false;
        }
    }
    /**
     * Sets the file buffering size on the stream.