| $x | $y\n";
}
function row2_plain($x, $y) {
echo "| $x | $y | \n";
}
function row3($x, $y, $z) {
echo "| $x | $y | $z | \n";
}
function rowify($string) {
echo "| $string | ";
}
function random_string() {
return md5(uniqid(rand(), true));
}
function print_login_form_aux($next_url, $user) {
echo "
";
}
function print_login_form() {
page_head("Please log in");
echo "
This function requires that you log in.
";
$next_url = $_SERVER['REQUEST_URI'];
print_login_form_aux($next_url, null);
page_tail();
}
// Look for an element in a line of XML text
// If it's a single-tag element, and it's present, just return the tag
//
function parse_element($xml, $tag) {
$element = null;
$x = strstr($xml, $tag);
if ($x) {
if (strstr($tag, "/>")) return $tag;
$y = substr($x, strlen($tag));
$n = strpos($y, "<");
if ($n) {
$element = substr($y, 0, $n);
}
}
return $element;
}
if (!function_exists("file_get_contents")) {
function file_get_contents($path) {
$x = "";
$f = fopen($path, "r");
if ($f) {
while (!feof($f)) $x .= fread($f, 4096);
fclose($f);
}
return $x;
}
}
// look for a particular element in the ../../config.xml file
//
function parse_config($tag) {
$element = null;
$buf = file_get_contents("../../config.xml");
$element = parse_element($buf, $tag);
return trim($element);
}
// Call this if for dynamic pages
//
function no_cache() {
header ("Expires: Mon, 26 Jul 1997 05:00:00 GMT"); // Date in the past
header ("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT"); // always modified
header ("Cache-Control: no-cache, must-revalidate"); // HTTP/1.1
header ("Pragma: no-cache"); // HTTP/1.0
}
// a valid email address is of the form A@B.C
// where A, B, C are nonempty,
// A and B don't contain @ or .,
// and C doesn't contain @
//
function is_valid_email_addr($addr) {
$x = strstr($addr, "@");
if (!$x) return false;
if (strlen($x) == strlen($addr)) return false;
$x = substr($x, 1);
if (strstr($x, "@")) return false;
$y = strstr($x, ".");
if (!$y) return false;
if (strlen($y) == strlen($x)) return false;
if (strlen($y) == 1) return false;
return true;
}
// A few functions relating to email-address munging
// A "munged" email address is of the form @X_Y,
// where X is a valid email address
// and Y is a random string not containing _.
// When an email address hasn't been validated yet, it's munged.
// (Used during account creation and email address changes)
function munge_email_addr($email, $string) {
return "@".$email."_".$string;
}
// if email_addr is of the form @X_Y, split out the X and return true.
// otherwise return false
//
function split_munged_email_addr($addr, $string, &$email) {
if (substr($addr, 0, 1) != "@") return false;
$x = strrchr($addr, "_");
if (!$x) return false;
$y = substr($x, 1);
if ($y != $string) return false;
$email = substr($addr, 1, strlen($addr)-strlen($x)-1);
return true;
}
// Generates a standard set of links between associated multi-page documents.
// All linked files must be of the form "$filename_.html".
function write_page_links($filename, $currPageNum, $numPages, $descriptor) {
fwrite($descriptor, "Page $currPageNum of $numPages ");
$nextPageNum = $currPageNum + 1;
$prevPageNum = $currPageNum - 1;
// Make the 'previous' and 'next' page links as appropriate.
if ($currPageNum > 1) {
fwrite($descriptor, "Previous Page");
if ($currPageNum != $numPages) {
fwrite($descriptor, " | ");
}
}
if ($currPageNum != $numPages) {
fwrite($descriptor, "Next Page");
}
fwrite($descriptor, "Jump to Page:\n");
// Make the individual page links (or a bold non-link for the current page).
//
for ($i = 1; $i <= $numPages; $i++) {
if ($i != $currPageNum) {
fwrite($descriptor, "$i\n");
} else {
fwrite($descriptor, "$i\n");
}
}
}
// Generates a legal filename from a parameter string.
function get_legal_filename($name) {
$name = ereg_replace(',', '', $name);
return ereg_replace(' ', '_', $name);
}
// Returns a string containing as many words
// (being collections of characters separated by the character $delimiter)
// as possible such that the total string length is <= $chars characters long.
// If $ellipsis is true, then an ellipsis is added to any sentence which
// is cut short.
function sub_sentence($sentence, $delimiter, $max_chars, $ellipsis=false) {
$words = explode($delimiter, $sentence);
$total_chars = 0;
$count = 0;
$result = '';
do {
if ($count > 0) {
$result = $result . ' ' . $words[$count];
} else {
$result = $result . $words[$count];
}
$total_chars += strlen($words[$count]) + 1;
$count++;
} while ($count < count($words) && ($total_chars + strlen($words[$count])) <= $max_chars);
if ($ellipsis && ($count < count($words))) {
$result = $result . '...';
}
return $result;
}
function format_credit($cobblestones) {
return sprintf("%.2f", $cobblestones);
}
function project_is_stopped() {
return file_exists("../../stop_servers");
}
function user_links($user) {
$x = "id>$user->name";
if ($user->has_profile) {
$x .= " id> ";
}
return $x;
}
function host_link($hostid) {
if ($hostid) {
return "$hostid";
} else {
return "---";
}
}
?>
|