tag.
//
// Oh dear, the tags file wasn't available just then, so let's show a
// quick message that says "Refreshing data! If page does not reload,
// hit refresh in your browser, or click here", with a link to your
// same page. After 2 seconds the page will automatically refresh, by
// which time the tags file should be ready.
} else {
echo "<";
echo "html><";
echo "head>";
echo "";
echo "
";
echo "Refreshing data! If page does not reload, hit refresh in your browser, or click here.";
}
// Script version
ptagscred();
?>
