From 1a64aab40ad6a3e0301c0790d2e19dbe38a9d642 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 1 Jun 2016 12:24:38 +0200
Subject: geht erst mal

---
 mirror.php | 49 ++++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 46 insertions(+), 3 deletions(-)

(limited to 'mirror.php')

diff --git a/mirror.php b/mirror.php
index d55277b..7d82267 100644
--- a/mirror.php
+++ b/mirror.php
@@ -1,9 +1,52 @@
 <?php
 
-  $pfad = $_SERVER["ORIG_SCRIPT_FILENAME"];
+  function myBaseEncode(&$item, $key) {
+    $item = base64_encode($item);
+    if ($item == "")
+      $item = "_";
+  }
 
-  $pfad = substr($pfad, strlen("/srv/sourceMirror/mirror.php")+1);
+  function myBaseDecode(&$item, $key) {
+    if ($item == "_")
+      $item = "";
+    $item = base64_decode($item);
+  }
 
-  echo "'".$pfad."'";
+  $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";
 
 ?>
-- 
cgit v1.2.3-54-g00ecf