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

<?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__)."/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 = $wurzel.$pfad;

  if (! file_exists($wurzel.$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($wurzel.$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";

?>