diff options
| author | Erich Eckner <git@eckner.net> | 2019-08-29 10:12:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-29 10:12:54 +0200 |
| commit | f73f04a33849f56c5dd7f87aa2fda48ab321d8bd (patch) | |
| tree | f1858cf5d6638746dfa5ae318cd849920f7586c3 /httpdocs/index.php | |
| parent | 8ed04a16ca80e46da3aecc41a0a55d2fa4f6e6f0 (diff) | |
| download | archive-server-f73f04a33849f56c5dd7f87aa2fda48ab321d8bd.tar.xz | |
httpdocs/index.php: skip updating of keys - it times out (did we navigate onto some blacklist?)
Diffstat (limited to 'httpdocs/index.php')
| -rw-r--r-- | httpdocs/index.php | 4 |
1 files 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( |