Please try again later.
If the error persists, please submit a problem report. "; page_tail(); } function profile_error_page($str) { page_head("Profile error"); echo "$str
\n"; echo "
Click your browser's Back button to try again.\n
\n"; page_tail(); } function error_page($msg) { page_head("Unable to handle request"); echo $msg; page_tail(); exit(); } // takes argument in second and returns a human formatted time string // in the form D days + h Hours + m Min + s sec. function time_diff($x) { $days = (int)($x/86400); $hours = (int)(($x-$days*86400)/3600); $minutes = (int)(($x-$days*86400-$hours*3600)/60); $seconds = (int)($x % 60); $datestring = ""; if ($days) $datestring .= "$days days "; if ($hours || strlen($datestring)) $datestring .= "$hours hours "; if ($min || strlen($datestring)) $datestring .= "$minutes min "; if ($seconds) $datestring .= "$seconds sec"; return $datestring; } function date_str($x) { if ($x == 0) return "---"; return gmdate('j M Y', $x); } function time_str($x) { if ($x == 0) return "---"; return gmdate('j M Y G:i:s', $x) . " UTC"; } function pretty_time_str($x) { return time_str($x); } // Converts a mysql-Timestamp to a user readable format // @return String A user readable DateTime-String in UTC // @param Integer $x The mysql-Timestamp to convert function mysqltime_str($x) { if(strpos($x,"-")==4) { // Syntax of supplied mysql-timestamp is YYYY-MM-DD HH:MM:SS $year = substr($x,0,4); $month = substr($x,5,2); $day = substr($x,8,2); $hour = substr($x,11,2); $minute = substr($x,14,2); $second = substr($x,17,2); } else { // Syntax of supplied mysql-timestamp is YYYYMMDDHHMMSS $year = substr($x,0,4); $month = substr($x,4,2); $day = substr($x,6,2); $hour = substr($x,8,2); $minute = substr($x,10,2); $second = substr($x,12,2); } //make a Unix-Timestamp // echo "Time string is " . "$x"; $time = mktime($hour,$minute,$second,$month,$day,$year); return time_str($time); } function start_table($extra="width=100%") { echo "
"; if ($y=="") $y="
"; echo "
Page $currPageNum of $numPages
"; $nextPageNum = $currPageNum + 1; $prevPageNum = $currPageNum - 1; // Make the 'previous' and 'next' page links as appropriate. if ($currPageNum > 1) { echo "Previous Page"; if ($currPageNum != $numPages) { echo " | "; } } if ($currPageNum != $numPages) { //fwrite($descriptor, "Next Page"); echo "Next Page"; } //fwrite($descriptor, "Jump to Page:\n"); echo "
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");
echo "$i\n";
} else {
//fwrite($descriptor, "$i\n");
echo "$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($x) {
return number_format($x, 2);
}
function project_is_stopped() {
if (file_exists("../../stop_web")) return true;
return false;
}
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 "---";
}
}
function open_output_buffer() {
ob_start();
ob_implicit_flush(0);
}
function close_output_buffer($filename) {
$fh = fopen($filename, "w");
$page = ob_get_contents();
ob_end_clean();
fwrite($fh, $page);
fclose($fh);
}
function html_info() {
return "
You may use HTML tags\n";
}
?>