From 3836d76c7dd254a3ebf2c6cf082726971ec6e6d4 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sun, 26 Apr 2020 17:48:37 +0200
Subject: keys.php: accept "0x$fingerprint", too

---
 keys.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/keys.php b/keys.php
index 60a7f53..e13d4a3 100644
--- a/keys.php
+++ b/keys.php
@@ -30,6 +30,10 @@ if (!array_key_exists('k', $_GET)) {
     '">download</a> them.' . "\n";
   die();
 }
+
+if (substr($_GET['k'], 0, 2)=='0x')
+  $_GET['k'] = substr($_GET['k'], 2);
+
 if (preg_match('/^[0-9A-Fa-f]{16,40}$/', $_GET['k']) !== 1)
   die();
 
-- 
cgit v1.2.3-70-g09d2