standalone/web/index.php

0001 <html>
0002 <head>
0003 <title><?php echo getcwd(); ?></title>
0004 <style type='text/css'>
0005 body {
0006     font-family: "Candara", sans-serif;
0007     font-size: 9pt;
0008     line-height: 10.5pt;
0009 }
0010 div.pic h3 {
0011     font-size: 11pt;
0012     margin: 0.5em 1em 0.2em 1em;
0013 }
0014 div.pic p {
0015     font-size: 11pt;
0016     margin: 0.2em 1em 0.1em 1em;
0017 }
0018 div.pic {
0019     display: block;
0020     float: left;
0021     background-color: white;
0022     border: 1px solid #ccc;
0023     padding: 2px;
0024     text-align: center;
0025     margin: 2px 10px 10px 2px;
0026     -moz-box-shadow: 7px 5px 5px rgb(80,80,80);    /* Firefox 3.5 */
0027     -webkit-box-shadow: 7px 5px 5px rgb(80,80,80); /* Chrome, Safari */
0028     box-shadow: 7px 5px 5px rgb(80,80,80);         /* New browsers */
0029 }
0030 a { text-decoration: none; color: rgb(80,0,0); }
0031 a:hover { text-decoration: underline; color: rgb(255,80,80); }
0032 </style>
0033 </head>
0034 <body>
0035 <h1><?php echo getcwd(); ?></h1>
0036 <h2><a name="plots">Plots</a></h2>
0037 <p><form>Filter: <input type="text" name="match" size="30" value="<?php if (isset($_GET['match'])) print htmlspecialchars($_GET['match']);  ?>" /><input type="Submit" value="Go" /></form></p>
0038 <div>
0039 <?php
0040 $displayed = array();
0041 if ($_GET['noplots']) {
0042     print "Plots will not be displayed.\n";
0043 } else {
0044     $other_exts = array('.pdf', '.cxx', '.eps', '.root', '.txt');
0045     $filenames = glob("*.png"); sort($filenames);
0046     foreach ($filenames as $filename) {
0047         if (isset($_GET['match']) && !fnmatch('*'.$_GET['match'].'*', $filename)) continue;
0048         array_push($displayed, $filename);
0049         print "<div class='pic'>\n";
0050         print "<h3><a href=\"$filename\">$filename</a></h3>";
0051         print "<a href=\"$filename\"><img src=\"$filename\" style=\"border: none; width: 300px; \"></a>";
0052         $others = array();
0053         foreach ($other_exts as $ex) {
0054             $other_filename = str_replace('.png', $ex, $filename);
0055             if (file_exists($other_filename)) {
0056                 array_push($others, "<a class=\"file\" href=\"$other_filename\">[" . $ex . "]</a>");
0057                 if ($ex != '.txt') array_push($displayed, $other_filename);
0058             }
0059         }
0060         if ($others) print "<p>Also as ".implode(', ',$others)."</p>";
0061         print "</div>";
0062     }
0063 }
0064 ?>
0065 </div>
0066 <div style="display: block; clear:both;">
0067 <h2><a name="files">Other files</a></h2>
0068 <ul>
0069 <?php
0070 foreach (glob("*") as $filename) {
0071     if ($_GET['noplots'] || !in_array($filename, $displayed)) {
0072         if (isset($_GET['match']) && !fnmatch('*'.$_GET['match'].'*', $filename)) continue;
0073         if (is_dir($filename)) {
0074             print "<li>[DIR] <a href=\"$filename\">$filename</a></li>";
0075         } else {
0076             print "<li><a href=\"$filename\">$filename</a></li>";
0077         }
0078     }
0079 }
0080 ?>
0081 </ul>
0082 </div>
0083 </body>
0084 </html>