function refreshtime () {
if ((time() > gmmktime(13, 30, 0, 4, 7, 2002)) and (time() < gmmktime(18, 00, 0, 4, 7, 2002))) {
// NB hour, mins. secs, month, day, year in GMT for point at which
// lives should speed up to five minute refresh
// 13.30 GMT=15.30 CEST
// Might be better to cut down on server load
// by working the timestamps out in advance ...
return 300;
} else {
return 600;
};
};
if (($_REQUEST["id"]=='live') or ($_REQUEST["id"]=='livecomp')) {
echo '';
};
?>