Update ip_log code.
diff --git a/ip_log/ip_log_code.php b/ip_log/ip_log_code.php
index 72424f7..4635ab5 100644
--- a/ip_log/ip_log_code.php
+++ b/ip_log/ip_log_code.php
@@ -7,21 +7,13 @@
$debug = $_GET[debug]; // are we in debug mode?
//Table of contents
-$toc_url = "http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.orbit/org.eclipse.orbit.releng/ip_logs/toc.txt?root=Tools_Project&view=co";
+//$toc_url = "http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.orbit/org.eclipse.orbit.releng/ip_logs/toc.txt?root=Tools_Project&view=co";
//$toc_url = "http://dev.eclipse.org/viewcvs/index.cgi/org.eclipse.orbit/org.eclipse.orbit.releng/ip_logs/toc.txt?revision=1.1.2.3&root=Tools_Project&pathrev=set1";
-//$toc_url = "toc.txt";
-//$toc_url=eregi_replace('{KU}','&',$toc_url);
+$toc_url = "toc.txt";
debug("Processing: ".$toc_url);
//Get the filenames
-$file_names = file(urlencode($toc_url), FILE_IGNORE_NEW_LINES);
-//$handle = fopen (urlencode($toc_url), "r");
-//while (!feof ($handle)) {
-// $buffer = fgets($handle, 4096);
-// echo $buffer;
-// $file_names[] = $buffer;
-//}
-//fclose ($handle);
+$file_names = file($toc_url, FILE_IGNORE_NEW_LINES);
if (!$file_names) {
debug("Error processing toc.");