... 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. */ "
Habeas Corpus, foundation of liberty, is under attack.

\"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.

" . html_linked_text("Habeas Corpus", "http://en.wikipedia.org/wiki/Habeas_corpus") . ", although described by an esoteric sounding Latin phrase, is the crucial starting point for liberty under the law. It allows someone imprisoned by the government to demand that the government explain to a judge the reason for imprisonment. Without it, government may imprison a person and throw away the key, with no accountability whatsoever. President Lincoln's suspension of habeas corpus during the civil war, which was a case of rebellion, was ruled unconstitutional, and is widely regarded as a blemish on his record. The current United States government has denied the privilege of habeas corpus at a time when there is no rebellion and no invasion of the US.

In 1861, rejecting President Lincoln's claim, the Supreme Court ruled that only Congress may suspend habeas corpus, and that a prisoner of the military must either be held subject to the rules and articles of war, or must be delivered immediately to civil authority.
" . html_linked_text("Bloomberg School
of Public Health", "http://www.jhsph.edu/") . "
" . html_linked_text("2006 survey estimates", "http://www.jhsph.edu/publichealthnews/press_releases/2006/burnham_iraq_2006.html") . "
excess deaths
390,000 - 940,000 since Iraq invasion		 \"[This \"[Web
" . 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"; ?>