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
