From f73f04a33849f56c5dd7f87aa2fda48ab321d8bd Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 29 Aug 2019 10:12:54 +0200
Subject: httpdocs/index.php: skip updating of keys - it times out (did we
 navigate onto some blacklist?)

---
 httpdocs/index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/httpdocs/index.php b/httpdocs/index.php
index e20fcc4..01188a7 100644
--- a/httpdocs/index.php
+++ b/httpdocs/index.php
@@ -68,11 +68,11 @@ if (isset($_GET['r'])) {
         )
       ) . '\)';
 
-      shell_exec(
+/*      shell_exec(
         'GNUPGHOME="' . $work_dir . 'gnupg" gpg ' .
         '--keyserver=hkp://keys.gnupg.net ' .
         '--recv-keys ' . implode(' ',explode(',',$_GET['valid_keys']))
-      );
+      ); */
 
       if ($_GET['t']=='git') {
         if (trim(shell_exec(
-- 
cgit v1.2.3