'$ts'"); $users=array(); while($row=sqlgetrow($res)) { if ($row['name']!='') { $users[]=$row['name']; } else { $users[]='[unknown]'; } } $cnt=count($users); echo "

There has been $cnt users: ".join(',',$users)." on this site in the last 15 minutes. "; */ if ($conn) { //if (useringroup(array('administrator'))) $DEBUG_LEVEL=1; sqlclose($conn); } $diff=get_timer($starttime); echo "Took $diff secs to generate

\n"; ?>