diff options
| -rw-r--r-- | httpdocs/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/httpdocs/index.php b/httpdocs/index.php index 01188a7..b433bd1 100644 --- a/httpdocs/index.php +++ b/httpdocs/index.php @@ -77,7 +77,7 @@ if (isset($_GET['r'])) { if ($_GET['t']=='git') { if (trim(shell_exec( 'GNUPGHOME="' . $work_dir . 'gnupg" git -C "' . $work_dir . 'repositories/' . $_GET['t'] . '/' . $_GET['r'] . '" verify-tag --raw "' . $commit_identifier . '" 2>&1 | ' . - 'grep -c "\[GNUPG:\] VALIDSIG ' . $key_regex . ' "' + 'grep -c "\[GNUPG:\] VALIDSIG\( ' . $key_regex . ' \| .* ' . $key_regex . '\$\)"' )) == '0') throw_http_error(409, 'Commit ' . $commit_identifier . ' is not signed by ' . $_GET['valid_keys']); } else |