diff --git a/web_serving/index.php b/web_serving/index.php new file mode 100644 index 0000000..701afb5 --- /dev/null +++ b/web_serving/index.php @@ -0,0 +1,90 @@ +
| File | Size | Modified\r\n"; +if (is_file("../index.php") || is_file("../index.html")) { + echo " |
|---|---|---|
| .. | [DIR] | \r\n"; +} +foreach ($content as $k => $v) { + if (is_dir($pre.$v)) { + $name = htmlentities(rtrim($v)); + $linkname = $preurl.rtrim($linkcontent[$k]); + $date=date("Y-m-d H:i",filemtime($pre.$name)); + echo " |
| $name | [DIR] | $date\r\n"; + } +} +foreach ($content as $k => $v) { + if (is_file($pre.$v)) { + $name = htmlentities(rtrim($v)); + $linkname = $preurl.rtrim($linkcontent[$k]); + $size = filesize($pre.$name); + $sum = $sum + $size; + $j = 0; $ext = array("B","kB","MB","GB","TB","PB"); + while ($size >= pow(1024,$j)) ++$j; + $size = round($size / pow(1024,$j-1) * 100) / 100 . " ".$ext[$j-1]; + $date=date("Y-m-d H:i",filemtime($pre.$name)); + echo " |
| $name | $size | $date\r\n"; + } +} +echo "\r |