| 17 |
if (isset($url)) { |
if (isset($url)) { |
| 18 |
$u = htmlspecialchars($url); |
$u = htmlspecialchars($url); |
| 19 |
echo "<h2>Results for <a href=\"$u\">$u</a></h2>"; |
echo "<h2>Results for <a href=\"$u\">$u</a></h2>"; |
| 20 |
$output = shell_exec('/home/james/Projects/httplint/httplint ' . |
passthru('/home/james/Projects/httplint/httplint --html ' . |
| 21 |
escapeshellarg($url)); |
escapeshellarg($url)); |
|
echo '<pre>'; |
|
|
echo htmlspecialchars($output); |
|
|
echo '</pre>'; |
|
| 22 |
} else { |
} else { |
| 23 |
$u = 'http://'; |
$u = 'http://'; |
| 24 |
?> |
?> |
Parent Directory
| 
Revision Log
| 
Patch