# HG changeset patch # User Pascal Bellard # Date 1298908428 -3600 # Node ID 10cdaa25232485b71de9500b3ca1cb99b40a0317 # Parent 1134ead2b5f94c00c338a7130b3ab01dae133718 web/index.php: encode package name for log.php diff -r 1134ead2b5f9 -r 10cdaa252324 web/index.php --- a/web/index.php Mon Feb 28 12:47:46 2011 +0100 +++ b/web/index.php Mon Feb 28 16:53:48 2011 +0100 @@ -16,7 +16,8 @@ while (($pkg = fgets($fp)) !== false) { $pkg = chop($pkg); if (file_exists("$log_dir/$pkg.html")) - echo "$pkg\n"; + echo "$pkg\n"; else echo "$pkg\n"; } fclose($fp);