1<?php
2function checktimeout($sock, $limit) {
3    $readfs = array($sock);
4    $writefs = $exceptfs = array();
5    if (socket_select($readfs, $writefs, $exceptfs, 0, $limit*1000) != 1) {
6        die("Socket read timeout hit. Can be a bug, a test bug, or a firewall issue.");
7    }
8}
9