summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-07-02 22:11:42 +0200
committerErich Eckner <git@eckner.net>2017-07-02 22:11:42 +0200
commit5fb00b20360f3bbd7826d6262b2619d941c44d97 (patch)
treecf023a1090bdd82cf5cac66912a4ca9f9423b377
parent782b1cb70d95e086fec42b1b2cc620dfffca955b (diff)
downloadsourceMirror-5fb00b20360f3bbd7826d6262b2619d941c44d97.tar.xz
mirror.php: use passthru in case of non-existent file, too
-rw-r--r--mirror.php13
1 files changed, 4 insertions, 9 deletions
diff --git a/mirror.php b/mirror.php
index 37c59c9..cfb6c90 100644
--- a/mirror.php
+++ b/mirror.php
@@ -54,19 +54,14 @@
fclose($al);
if (! file_exists($pfad)) {
- $inp = popen(
+ passthru(
"mkdir -p '".dirname($pfad)."'; ".
"wget -O - '".$quelle."' | ".
- "tee \"".$pfad."\"",
- "r");
- if (! $inp)
- die("kann wget nicht starten");
-
- fpassthru($inp);
- pclose($inp);
+ "tee \"".$pfad."\""
+ );
}
else {
- passthru('cat "'.$pfad.'"');
+ passthru("cat '".$pfad."'");
}
}