diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-06 22:45:55 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-09 20:47:40 +0200 |
| commit | c30c09c1a596f23f17873cc68f44eca981d9b7ba (patch) | |
| tree | 37bcd3c2958a87bebf722db3d6fee48cbfdab51f | |
| parent | 5fb00b20360f3bbd7826d6262b2619d941c44d97 (diff) | |
| download | sourceMirror-c30c09c1a596f23f17873cc68f44eca981d9b7ba.tar.xz | |
mirror.php: add comment
| -rw-r--r-- | mirror.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -56,7 +56,7 @@ if (! file_exists($pfad)) { passthru( "mkdir -p '".dirname($pfad)."'; ". - "wget -O - '".$quelle."' | ". + "wget -O - '".$quelle."' | ". // oder curl! "tee \"".$pfad."\"" ); } |