Changeset 40737 for trunk/dvodist
- Timestamp:
- May 14, 2019, 2:55:11 PM (7 years ago)
- Location:
- trunk/dvodist/www-util
- Files:
-
- 4 edited
-
dvodist.page.mkd (modified) (1 diff)
-
ipp.page.mkd (modified) (1 diff)
-
ipp.php (modified) (4 diffs)
-
ippdata.page.mkd (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/dvodist/www-util/dvodist.page.mkd
r40053 r40737 20 20 menu("$utils/dvodist.menu.dat", 'DVO Distribution Server', $rootdir, "$rootdir/ipp.css", '', ''); 21 21 22 $script = basename($_SERVER[ SCRIPT_NAME]);22 $script = basename($_SERVER['SCRIPT_NAME']); 23 23 do_markdown ($script, $rootdir); 24 24 -
trunk/dvodist/www-util/ipp.page.mkd
r34748 r40737 19 19 menu("$utils/ipp.menu.dat", 'DVO Distribution Server', $rootdir, "$rootdir/ipp.css", '', ''); 20 20 21 $script = basename($_SERVER[ SCRIPT_NAME]);21 $script = basename($_SERVER['SCRIPT_NAME']); 22 22 do_markdown ($script); 23 23 -
trunk/dvodist/www-util/ipp.php
r36076 r40737 56 56 // loop over the lines in the file and generate lines in the menu 57 57 while ($line = fgetcsv ($file, 1024, "|")) { 58 if ( ereg ('^[:blank:]*#', $line[0])) continue;58 if (preg_match ('/^\s*#/', $line[0])) continue; 59 59 if (count($line) < 2) continue; 60 60 … … 81 81 82 82 // append additional elements if needed 83 $link = "$base"; 83 84 if ($append) { 84 85 $link = "$base" . "?" . $append; 85 } else {86 $link = "$base";87 86 } 88 87 89 88 // prepend the rootdir if needed (reference to /) 90 if ( $link[0] == '/') {89 if (substr($link, 0, 1) == "/") { 91 90 $link = $root . $link; 92 91 } 93 92 94 93 // hi-lite the current page (use select-style, not style) 95 $thisname = $_SERVER[ SCRIPT_NAME];94 $thisname = $_SERVER['SCRIPT_NAME']; 96 95 $page = $root . $base; 97 96 if ($page == $thisname) { … … 147 146 // loop over the lines in the file and generate lines in the menu 148 147 while ($line = fgetcsv ($file, 1024, ":")) { 149 if ( ereg ('^[:blank:]*#', $line[0])) continue;148 if (preg_match ('/^\s*#/', $line[0])) continue; 150 149 if (count($line) < 2) continue; 151 150 … … 205 204 $inline = trim ($inlist[$i], "@ \t"); 206 205 $line = explode (":", $inline); 207 if ( ereg ('^[:blank:]*#', $line[0])) continue;206 if (preg_match ('/^\s*#/', $line[0])) continue; 208 207 if (count($line) < 2) continue; 209 208 -
trunk/dvodist/www-util/ippdata.page.mkd
r35415 r40737 18 18 menu("$utils/ippdata.menu.dat", 'Pan-STARRS 1 Data Distribution Server', $rootdir, "$rootdir/ipp.css", '', ''); 19 19 20 $script = basename($_SERVER[ SCRIPT_NAME]);20 $script = basename($_SERVER['SCRIPT_NAME']); 21 21 do_markdown ($script, $rootdir); 22 22
Note:
See TracChangeset
for help on using the changeset viewer.
