Changeset 32 in projects
- Timestamp:
- Mar 13, 2009, 3:34:08 AM (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
documentation/index.php
r31 r32 23 23 $filename = substr($_SERVER['PATH_INFO'], 1); # strip trailing slash: /a/b => a/b 24 24 25 // redirect todefault page if no one is given:25 // show default page if no one is given: 26 26 $default_page = $doc.'/start.htm'; 27 if(empty($filename)) { header("Location: $_SERVER[PHP_SELF]/$default_page"); exit; } 27 #if(empty($filename)) { header("Location: $_SERVER[PHP_SELF]/$default_page"); exit; } 28 if(empty($filename)) $filename = $default_page; 28 29 29 30 // check if filename is correct
Note: See TracChangeset
for help on using the changeset viewer.