<?php\r
\r
-function chars_encode($string) {\r
- $chars = array();\r
- $ent = null;\r
- $chars = preg_split("//", $string, -1, PREG_SPLIT_NO_EMPTY);\r
- for ($i = 0; $i < count($chars); $i++)\r
- $ent[$i] = "&#" . ord($chars[$i]) . ";";\r
- if (sizeof($ent) < 1)\r
- return "";\r
- return implode("",$ent);\r
-}\r
-\r
if (isOffline()) {\r
switch(THIS_PAGE) {\r
case 'do/contact':\r
<div id="outer">\r
<div id="rap">\r
<div id="masthead">\r
- <h1 id="header"><a href="http://sql.mit.edu/">sql.mit.edu</a></h1>\r
+ <h1 id="header"><a href="http://sql.mit.edu/" target="_top">sql.mit.edu</a></h1>\r
<h2 id="tagline">MIT SIPB MySQL Service for Athena<br />\r
email: <?=chars_encode('sql@mit.edu')?></h2>\r
</div>\r