... markup, the header */ /* is just $the_text. For $header_level outside the standard */ /* range the function uses

...

markup. */ $GLOBALS["FIRST_HTML_HEADER_LEVEL"] = 1; $GLOBALS["LAST_HTML_HEADER_LEVEL"] = 6; function html_header($header_level, $the_text) { if ($header_level < $GLOBALS["FIRST_HTML_HEADER_LEVEL"]) { $left_header_bracket = "

"; $right_header_bracket = "

"; } else if ($header_level <= $GLOBALS["LAST_HTML_HEADER_LEVEL"]) { $left_header_bracket = ""; $right_header_bracket = ""; } else { $left_header_bracket = "

"; $right_header_bracket = "

"; } return $left_header_bracket . $the_text . $right_header_bracket; } function html_2pt_header($header_level, $text_1, $text_2) { if ($header_level < $GLOBALS["FIRST_HTML_HEADER_LEVEL"]) { $left_header_bracket = "

"; $right_header_bracket = "

"; } else if ($header_level <= $GLOBALS["LAST_HTML_HEADER_LEVEL"]) { $left_header_bracket = ""; $right_header_bracket = ""; } else { $left_header_bracket = "

"; $right_header_bracket = "

"; } return $left_header_bracket . $text_1 . "
" . $text_2 . $right_header_bracket; } /* html_linked_header($header_level, $header_text, $header_link) */ /* creates an HTML header at $header_level, containing $header_text, */ /* anchored with a link to the URL $header_link. */ function html_linked_header($header_level, $header_text, $header_link) { return html_header($header_level, html_linked_text($header_text, $header_link)); } function html_linked_2pt_header($header_level, $text_1, $link_1, $text_2, $link_2) { return html_2pt_header($header_level, html_linked_text($text_1, $link_1), html_linked_text($text_2, $link_2)); } /* Structurally important variables. */ /* Variables whose values are constant over the directory hierarchy */ /* URL links */ $GLOBALS["UC_ROOT_URL"] = "http://www.uchicago.edu"; $GLOBALS["COLLEGE_ROOT_URL"] = "http://www-college.uchicago.edu/"; $GLOBALS["CI_ROOT_URL"] = "http://www-fp.mcs.anl.gov/ci/"; $GLOBALS["CS_ROOT_URL"] = "http://www.cs.uchicago.edu"; $GLOBALS["CS_IMAGE_ROOT_URL"] = "http://images.cs.uchicago.edu/images"; $GLOBALS["CS_PEOPLE_ROOT_URL"] = "http://people.cs.uchicago.edu"; $GLOBALS["CS_COURSES_ROOT_URL"] = "http://www.classes.cs.uchicago.edu"; $GLOBALS["UC_COLLEGE_CFN_URL"] = "http://www.cfn.uchicago.edu"; $GLOBALS["CJTCS_URL"] = $GLOBALS["CS_ROOT_URL"] . "/research/publications/cjtcs"; $GLOBALS["DEBIAN_URL"] = "http://www.debian.org"; $GLOBALS["GNU_URL"] = "http://www.gnu.org/"; $GLOBALS["COPYLEFT_URL"] = "http://www.gnu.org/copyleft/copyleft.html"; $GLOBALS["LINUX_URL"] = "http://www.linux.org"; $GLOBALS["GPL_URL"] = "http://www.gnu.org/copyleft/gpl.html"; $GLOBALS["OPL_URL"] = "http://www.opencontent.org/openpub"; $GLOBALS["VMWARE_URL"] = "http://www.vmware.com"; $GLOBALS["OD_HTML_ROOT_PATH"] = getcwd(); $GLOBALS["THIS_HTML_ROOT_PATH"] = $GLOBALS["OD_HTML_ROOT_PATH"]; $GLOBALS["OD_ROOT_URL_PATH"] = "/~odonnell"; $GLOBALS["OD_ROOT_PATH"] = "/home/odonnell"; $GLOBALS["OD_ROOT_URL"] = $GLOBALS["CS_PEOPLE_ROOT_URL"] . $GLOBALS["OD_ROOT_URL_PATH"]; $GLOBALS["OD_INCLUDE_URL"] = $GLOBALS["OD_ROOT_URL"] . "/Include"; $GLOBALS["OD_IMAGE_URL"] = $GLOBALS["OD_INCLUDE_URL"] . "/Image"; $GLOBALS["THIS_ROOT_URL"] = $GLOBALS["OD_ROOT_URL"]; $GLOBALS["OD_COPYRIGHT_URL"] = $GLOBALS["OD_ROOT_URL"] . "/Copyright"; $GLOBALS["OD_CALENDAR_URL"] = $GLOBALS["OD_ROOT_URL"] . "/Personal_calendar"; $GLOBALS["UC_RYERSON_HALL_URL"] = "http://www.uchicago.edu/docs/maps/mainquad/ryerson.html"; $GLOBALS["CHICAGO_IL_USA_URL"] = "http://www.ci.chi.il.us/"; $GLOBALS["IL_USA_URL"] = "http://www.state.il.us/"; $GLOBALS["USA_URL"] = ""; $GLOBALS["PHP_URL"] = "http://www.php.net/"; $GLOBALS["PYTHON_URL"] = "http://www.pythonlabs.com/"; $GLOBALS["CVS_URL"] = "http://www.cvshome.org/"; $GLOBALS["RCS_URL"] = "http://www.cs.purdue.edu/homes/trinkle/RCS/"; $GLOBALS["ORSC_URL"] = "http://open-rsc.org/"; /* Images */ $GLOBALS["SMALL_ICON_TYPE"] = "image/png"; $GLOBALS["SMALL_ICON"] = $GLOBALS["OD_IMAGE_URL"] . "/ODBOL_icons/OD_text_apost_tiny.png"; /* Text and HTML */ $GLOBALS["CS_HEADER_HTML"] = html_linked_text( " $\"[CS$ ", $GLOBALS["CS_ROOT_URL"]); $GLOBALS["OD_ROOT_HTML_TITLE"] = "MJ O'Donnell"; $GLOBALS["HEADER_TEXT"] = "Michael J. O'Donnell (Mike)"; $GLOBALS["OD_HEADER_HTML"] = html_linked_text( " $\"[ODBOL$ ", $GLOBALS["OD_ROOT_URL"]); $GLOBALS["COPYRIGHT_STATEMENT"] = "Copyright Michael J. O'Donnell <michael_odonnell@acm.org>."; $GLOBALS["LICENSE_STATEMENT"] = html_linked_text("Licensed", $GLOBALS["OD_COPYRIGHT_URL"]) . " for free use."; function html_footer($this_file_prefix, $confidential=0, $validated=0) { $the_footer = "

" . " " . $GLOBALS["COPYRIGHT_STATEMENT"] . " "; if ($confidential == 1) { $the_footer = $the_footer . "Confidential."; } else { $the_footer = $the_footer . $GLOBALS["LICENSE_STATEMENT"]; } $the_footer = $the_footer . "	$\"Valid$ "; } else { $the_footer = $the_footer . "\"HTML_errors\" ALT=\"HTML errors\" HEIGHT=31 WIDTH=88>"; } $the_footer = $the_footer . "
This page is generated from " . html_linked_text("PHP", $GLOBALS["PHP_URL"]) . " " . html_linked_text("source code", $this_file_prefix . ".phps") . ", with " . html_linked_text("supporting files", "directory.html") . ".

"; return $the_footer; } /* I should change all *.php to generate footer from the html_footer */ /* function, and obsolete the following two variables. */ $GLOBALS["OD_HTML_STANDARD_FOOTER"] = html_footer("index", 0); $GLOBALS["OD_HTML_CONFIDENTIAL_FOOTER"] = html_footer("index", 1); $GLOBALS["CONFIDENTIAL"] = 0; /* Images */ $GLOBALS["UC_SEAL_INTEXT"] = " $\"[U$ "; $GLOBALS["PHONE_ICON"] = " $\"[phone$ "; $GLOBALS["FAX_ICON"] = " $\"[FAX$ "; $GLOBALS["EMAIL_ICON"] = " $\"[Email$ "; $GLOBALS["CALENDAR_ICON"] = " $\"[Calendar$ "; $GLOBALS["WWW_LINKS_ICON"] = " $\"[WWW$ "; $GLOBALS["CONSTRUCTION_ICON"] = " $\"[construction$ "; $GLOBALS["DOCUMENT_ICON"] = " $\"[document$ "; $GLOBALS["CJTCS_ICON"] = " $\"[CJTCS$ "; $GLOBALS["DEBIAN_ICON"] = " $\"[Debian$ "; $GLOBALS["GNU_ICON"] = " $\"[GNU$ "; $GLOBALS["LINUX_ICON"] = " $\"[Linux$ "; $GLOBALS["ORSC_ICON"] = " $\"[Open$ "; /* Hierarchical variables that change in each subdirectory */ $GLOBALS["THIS_PATH"] = getcwd(); $GLOBALS["THIS_URL"] = path_to_URL($GLOBALS["THIS_PATH"], $GLOBALS["OD_HTML_ROOT_PATH"], $GLOBALS["OD_ROOT_URL"]); $GLOBALS["HTML_TITLE"] = $GLOBALS["OD_ROOT_HTML_TITLE"]; $GLOBALS["HTML_HEADER_LEVEL"] = 0; $GLOBALS["HTML_HEADER"] = html_linked_header($GLOBALS["HTML_HEADER_LEVEL"], $GLOBALS["HEADER_TEXT"], $GLOBALS["OD_ROOT_URL"] ); /* Default function to update hierarchical variables */ /* update_hierarchical_items($title_ext, $header_ext) updates global */ /* PHP variables to incorporate the additional HTML title material in */ /* $title_ext and the additional HTML header material in $header_ext. */ function update_hierarchical_items($title_ext, $header_ext) { $GLOBALS["THIS_PATH"] = getcwd(); $GLOBALS["THIS_URL"] = path_to_URL($GLOBALS["THIS_PATH"], $GLOBALS["THIS_HTML_ROOT_PATH"], $GLOBALS["THIS_ROOT_URL"]); $GLOBALS["HTML_TITLE"] = $GLOBALS["HTML_TITLE"] . ", " . $title_ext; $GLOBALS["HTML_HEADER_LEVEL"] = $GLOBALS["HTML_HEADER_LEVEL"] + 1; $GLOBALS["HTML_HEADER"] = $GLOBALS["HTML_HEADER"] . "\n" . html_linked_header($GLOBALS["HTML_HEADER_LEVEL"], $header_ext, $GLOBALS["THIS_URL"] ); } /* Convenience variables, used sporadically. */ $GLOBALS["ETHICAL_PLUGS"] = /* Layout of text and icons plugging my favorite causes, with links. */ "

" . html_linked_text("Habeas Corpus", "http://en.wikipedia.org/wiki/Habeas_corpus_in_the_United_States") . ", foundation of liberty

\"The Privilege of the Writ of Habeas Corpus shall not be suspended, unless when in Cases of Rebellion or Invasion the public Safety may require it.\" " . html_linked_text("United States Constitution", "http://en.wikipedia.org/wiki/United_States_Constitution") . ", Article One, Section Nine.

It's more important than it sounds---look it up.

$\"[This$

$\"[FSF$

" . html_linked_text("\"I am Spartacus\"", $GLOBALS["OD_ROOT_URL"] . "/Citizen/I_am_Spartacus") . "

" . html_linked_text("Risks in computing", "http://www.csl.sri.com/users/neumann/illustrative.html") . "

"; /* End of plugs for my favorite causes */ $GLOBALS["MY_ACADEMIC_TITLES"] = /* Layout of my academic titles, with links to relevant institutions */ "Professor in " . html_linked_text("Computer Science", $CS_ROOT_URL) . "
and " . html_linked_text("the College", $COLLEGE_ROOT_URL) . "
Senior fellow in " . html_linked_text("the Computation Institute", $CI_ROOT_URL) . "
" . $UC_SEAL_INTEXT . html_linked_text("The University of Chicago", $UC_ROOT_URL); /* End of my academic titles */ $GLOBALS["MY_ACADEMIC_ADDRESS"] = /* Layout of my academic address */ "

" . html_linked_text("Department of Computer Science", $CS_ROOT_URL) . "
" . html_linked_text("The University of Chicago", $UC_ROOT_URL) . "
" . html_linked_text("Ryerson Hall", $UC_RYERSON_HALL_URL) . " 1100 E. 58th St.
" . html_linked_text("Chicago", $CHICAGO_IL_USA_URL) . ", " . html_linked_text("IL", $IL_USA_URL) . " 60637 " . html_linked_text("USA", $USA_URL) . "

"; /* End of my academic address */ $GLOBALS["MY_ACADEMIC_PHONE"] = /* Layout of my academic phone number */ $PHONE_ICON . " Phone: (773) 702-1269"; $GLOBALS["MY_ACADEMIC_FAX"] = /* Layout of my academic FAX number */ $FAX_ICON . " FAX: (773) 702-8487"; $GLOBALS["MY_ACADEMIC_EMAIL"] = /* Layout of my academic email address */ $EMAIL_ICON . " Email: michael_odonnell@acm.org, " . "odonnell@cs.uchicago.edu"; ?>