--- httplint/index.php	2004/03/11 19:05:02	55
+++ httplint/index.php	2004/03/12 21:54:21	57
@@ -17,11 +17,8 @@
 if (isset($url)) {
 	$u = htmlspecialchars($url);
 	echo "<h2>Results for <a href=\"$u\">$u</a></h2>";
-	$output = shell_exec('/home/james/Projects/httplint/httplint ' .
+	passthru('/home/james/Projects/httplint/httplint --html ' .
 			escapeshellarg($url));
-	echo '<pre>';
-	echo htmlspecialchars($output);
-	echo '</pre>';
 } else {
 	$u = 'http://';
 	?>