From 2f6f78c2463c511acd113f1bf0018d0542be94f7 Mon Sep 17 00:00:00 2001 From: "Ryan C. Gordon" Date: Sat, 27 May 2017 13:48:17 -0400 Subject: [PATCH] PHP scripts that deal with new URL style. Eventually we should dump index.php and just have the perl script do it. Laziness. --- index.php | 31 +++++++++++++++++++++++++++++++ old-finger-url-redirect.php | 21 +++++++++++++++++++++ 2 files changed, 52 insertions(+) create mode 100644 index.php create mode 100644 old-finger-url-redirect.php diff --git a/index.php b/index.php new file mode 100644 index 0000000..e62b17a --- /dev/null +++ b/index.php @@ -0,0 +1,31 @@ + diff --git a/old-finger-url-redirect.php b/old-finger-url-redirect.php new file mode 100644 index 0000000..813d4d5 --- /dev/null +++ b/old-finger-url-redirect.php @@ -0,0 +1,21 @@ + 0)) { + $ch = '?'; + foreach ($_REQUEST as $key => $val) { + if ($key == 'user') { + continue; + } + $args .= "$ch$key=$val"; + $ch = '&'; + } +} + +$url = "https://$vhost/finger/$user$args"; +header("Location: $url", true, 301); +print("Moved Permanently
\nThis URL has moved to \n\n$url\n\n
\n"); +exit(0); +?>