3 function chars_encode($string) {
\r
6 $chars = preg_split("//", $string, -1, PREG_SPLIT_NO_EMPTY);
\r
7 for ($i = 0; $i < count($chars); $i++)
\r
8 $ent[$i] = "&#" . ord($chars[$i]) . ";";
\r
9 if (sizeof($ent) < 1)
\r
11 return implode("",$ent);
\r
20 redirect('offline');
\r
26 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
\r
27 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
\r
28 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
\r
30 <meta http-equiv="content-type" content="text/html; charset=utf-8" />
\r
31 <title>MIT SIPB MySQL Service for Athena</title>
\r
32 <link rel="stylesheet" href="http://scripts.mit.edu/style.css" type="text/css" />
\r
33 <link rel="stylesheet" href="<?=$BASE_URL?>mitsql.css" type="text/css" />
\r
34 <base href="<?=$BASE_URL?>" />
\r
41 <h1 id="header"><a href="http://sql.mit.edu/">sql.mit.edu</a></h1>
\r
42 <h2 id="tagline">MIT SIPB MySQL Service for Athena<br />
\r
43 email: <?=chars_encode('sql@mit.edu')?></h2>
\r
46 <?php isOnline() && include('menu.php'); ?>
\r
49 <div id="content_wide">
\r