summaryrefslogtreecommitdiff
path: root/httpdocs/index.php
diff options
context:
space:
mode:
Diffstat (limited to 'httpdocs/index.php')
-rw-r--r--httpdocs/index.php2
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