From 749f512980e7742aa34d6451de7a2c1936991229 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 30 Jul 2019 22:36:57 +0200
Subject: mirror.php: properly escape

---
 mirror.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mirror.php b/mirror.php
index b0085d9..9c9a052 100644
--- a/mirror.php
+++ b/mirror.php
@@ -70,7 +70,7 @@
       passthru(
         "mkdir -p '".dirname($pfad)."'; ".
         "( ".
-        "curl -Ls -A "Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0" '".$quelle."' || ".
+        "curl -Ls -A 'Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0' '".$quelle."' || ".
         "wget -O - '".$quelle."'; ".
         ") | ". // oder curl!
           "tee \"".$pfad."\""
-- 
cgit v1.2.3