keys.php: accept "0x$fingerprint", too

1 files changed, 4 insertions, 0 deletions

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();