mirror.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

<?php

  function myBaseEncode(&$item, $key) {
    $item = base64_encode($item);
    if ($item == "")
      $item = "_";
  }

  function myBaseDecode(&$item, $key) {
    if ($item == "_")
      $item = "";
    $item = base64_decode($item);
  }

  $quelle = $_SERVER["REQUEST_URI"];
  $wurzel = dirname(__FILE__);
  $datenWurzel = $wurzel."/daten/";

  if (substr($quelle,0,1) != "/")
    die("Ung&uuml;ltiger Pfad!");

  $quelle = substr($quelle,1);

  $pfad = explode("/",$quelle);
  array_walk($pfad,"myBaseEncode");
  $pfad = implode("/",$pfad);
  $pfad = $datenWurzel.$pfad;

  $al = fopen($wurzel."/access.log","a");
  if (! $al)
    die("Kann 'access.log' nicht &ouml;ffnen!");
  fwrite($al,date('Y-m-d H:i:s')." ".$pfad."\n");
  fclose($al);

  if (! file_exists($pfad)) {
    $inp = popen(
      "mkdir -p '".dirname($pfad)."'; ".
      "wget -O - '".$quelle."' | ".
        "tee \"".$pfad."\"",
      "r");

    if (! $inp)
      die("kann wget nicht starten");

    fpassthru($inp);
    pclose($inp);
  }
  else {
    $inp = fopen($pfad,"r");
    if (! $inp)
      die("Kann '".$quelle."' ('".$pfad."') nicht &oouml;ffnen!");
    fpassthru($inp);
    fclose($inp);
  }

//  foreach ($_SERVER as $key => $value)
//    echo "'".$key."': '".$value."'<br>\n";

?>