/
index.php
executable file
·101 lines (101 loc) · 2.73 KB
/
index.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
<html>
<head>
<title><?php echo getcwd(); ?></title>
<style type='text/css'>
body {
font-family: "Helvetica", sans-serif;
font-size: 9pt;
line-height: 10.5pt;
}
h1 {
font-size: 14pt;
margin: 0.5em 1em 0.2em 1em;
text-align: left;
}
div.pic h3 {
font-size: 11pt;
margin: 0.5em 1em 0.2em 1em;
}
div.pic p {
font-size: 11pt;
margin: 0.0em 1em 0.2em 1em;
}
div.pic {
display: block;
float: left;
background-color: white;
border: 1px solid #ccc;
padding: 2px;
text-align: center;
margin: 40px 10px 10px 2px;
/* -moz-box-shadow: 7px 5px 5px rgb(80,80,80); /* Firefox 3.5 */
/* -webkit-box-shadow: 7px 5px 5px rgb(80,80,80); /* Chrome, Safari */
/* box-shadow: 7px 5px 5px rgb(80,80,80); /* New browsers */
}
div.list {
font-size: 13pt;
margin: 0.5em 1em 1.2em 1em;
display: block;
clear: both;
}
div.list li {
margin-top: 0.3em;
}
a { text-decoration: none; color: #29407C; }
a:hover { text-decoration: underline; color: #D08504; }
</style>
</head>
<body>
<h1><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></h1>
<div>
<?php
$displayed = array();
if ($_GET['noplots']) {
print "Plots will not be displayed.\n";
} else {
$other_exts = array('.png', '.pdf');
$filenames = glob("*.png"); sort($filenames);
foreach ($filenames as $filename) {
if (isset($_GET['match']) && !fnmatch('*'.$_GET['match'].'*', $filename)) continue;
array_push($displayed, $filename);
print "<div class='pic'>\n";
print "<h3><a href=\"$filename\">$filename</a></h3>";
print "<a href=\"$filename\"><img src=\"$filename\" style=\"border: none; width: 300px; \"></a>";
$others = array();
foreach ($other_exts as $ex) {
$other_filename = str_replace('lin.png', $ex, $filename);
if (file_exists($other_filename)) {
array_push($others, "<a class=\"file\" href=\"$other_filename\">[" . $ex . "]</a>");
if ($ex != '.txt') array_push($displayed, $other_filename);
}
}
if ($others) print "<p>Also as ".implode(', ',$others)."</p>";
print "</div>";
}
}
?>
</div>
<div class="list">
<ul>
<?php
print "<li>[DIR] <a href=\"../\">../</a></li>";
$nondirs = array();
foreach (glob("*") as $filename) {
if ($_GET['noplots'] || !in_array($filename, $displayed)) {
if (isset($_GET['match']) && !fnmatch('*'.$_GET['match'].'*', $filename)) continue;
if (is_dir($filename)) {
print "<li>[DIR] <a href=\"$filename\">$filename</a></li>";
} else if ($filename != "index.php") {
array_push($nondirs,"<li><a href=\"$filename\">$filename</a></li>");
}
}
}
foreach ($nondirs as $file) {
print $file;
}
?>
</ul>
</div>
<h3>a gp production</h3>
</body>
</html>