diff options
author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-03-08 15:01:07 +0100 |
---|---|---|
committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-03-08 15:01:07 +0100 |
commit | 4524ddadf314c1ed975e4c6e815b00626581080c (patch) | |
tree | cbae182be865f12d19dbc6a7edc673cd4370ce83 /routing.php | |
parent | 4350eec6a845224f1dbf2889211604090cabb9cb (diff) |
Remove unused files
Diffstat (limited to 'routing.php')
-rwxr-xr-x | routing.php | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/routing.php b/routing.php deleted file mode 100755 index b8ec8d0..0000000 --- a/routing.php +++ /dev/null @@ -1,47 +0,0 @@ -<?php -//--------------------------------------------------------- -// routing.php -//--------------------------------------------------------- -// -// PURPOSE -// This php script routes calls to the info2html scripts, infocat and -// info2html for the PHP built-in webserver (like a PHP mod_rewrite). -// -// DESCRIPTION -// How to use: -// * Start the php webserver, wherever this file is found, or provide full path: -// $> php -S localhost:8000 -t / routing.php -// * Start browsing! Visit: -// http://localhost:8000/info2html?(coreutil)Top -// Note: Before you use this, edit the following variable to point to the -// info2html Perl script. -// Also make sure that your info share directory is listed in the -// info2html.conf file (mine wasn't I had to add /usr/share/info). -// -// AUTHORS -// 2015.12.25 +A.M.Danischewski <adam_ lastname@not gamil.com> -// -// ORIGINAL AUTHOR -// 2015.12.25 +A.M.Danischewski <adam_ lastname@not gamil.com> -// -// HISTORY -// 2015.12.25 V2.1 Initial version -// +A.M.Danischewski <adam_ lastname@not gamil.com> -// -// Copyrighted by A.M.Danischewski 2015+ (c) -// You may reuse this code without limit, provided this notice remain in tact. -// -$info2html_basepath=realpath(dirname(__FILE__)); -$page=""; -if (preg_match('/info2html/', $_SERVER["REQUEST_URI"])) { - if (isset($_SERVER['QUERY_STRING'])) $page=$_SERVER["QUERY_STRING"]; else print_r($_SERVER); - // Calls info2html, same as if info2html were called from the commmand line. - System($info2html_basepath."/info2html \"".$page."\""); -} else if (preg_match('/infocat/', $_SERVER["REQUEST_URI"])) { - // Calls infocat, same as if info2html were called from the commmand line. - System($info2html_basepath."/infocat"); -} -else { - return FALSE; -} -?> |