diff options
author | Erich Eckner <git@eckner.net> | 2017-07-02 22:11:42 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-02 22:11:42 +0200 |
commit | 5fb00b20360f3bbd7826d6262b2619d941c44d97 (patch) | |
tree | cf023a1090bdd82cf5cac66912a4ca9f9423b377 | |
parent | 782b1cb70d95e086fec42b1b2cc620dfffca955b (diff) | |
download | sourceMirror-5fb00b20360f3bbd7826d6262b2619d941c44d97.tar.xz |
mirror.php: use passthru in case of non-existent file, too
-rw-r--r-- | mirror.php | 13 |
1 files changed, 4 insertions, 9 deletions
@@ -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."'"); } } |