";
$result=DBselect("select screenid,name,cols,rows from screens order by name");
while($row=DBfetch($result))
{
if(!check_right("Screen","R",$row["screenid"]))
{
continue;
}
if( isset($HTTP_GET_VARS["screenid"]) && ($HTTP_GET_VARS["screenid"] == $row["screenid"]) )
{
echo "[";
}
echo "".$row["name"]."";
if(isset($HTTP_GET_VARS["screenid"]) && ($HTTP_GET_VARS["screenid"] == $row["screenid"]) )
{
echo "]";
}
echo " ";
}
if(DBnum_rows($result) == 0)
{
echo "No screens to display";
}
echo "";
show_table_header_end();
echo "
";
}
?>
".$row["name"]."";
}
else
{
$map="".$row["name"]."";
}
show_table_header($map);
echo "
| "; echo "..."; echo " | "; echo "