another patch to fix the Crawler_p layout

htroot/Crawler_p.html

@@ -15,14 +15,14 @@
 #%env/templates/submenuCrawlMonitor.template%#
 <h2>Crawler</h2>
 <noscript><p>(Please enable JavaScript to automatically update this page!)</p></noscript>
-<fieldset style="width:220px;height:140px;float:left;">
+<fieldset style="width:230px;height:140px;float:left;">
 <legend>Queues</legend>
       <table border="0" cellpadding="2" cellspacing="1" class="watchCrawler">
         <tbody>
           <tr class="TableHeader"> 
-            <th>Queue</th>
+            <th width="110">Queue</th>
             <th>Size</th>
-            <th width="60">Pause/Resume</th>
+            <th width="50">Pause/Resume</th>
           </tr>
           <tr class="TableCellLight"> 
             <td align="left">Local Crawler</td>
@@ -93,7 +93,7 @@
       <table border="0" cellpadding="2" cellspacing="1" class="watchCrawler">
         <tbody>
           <tr class="TableHeader"> 
-            <th width="80px">Indicator</th>
+            <th width="90">Indicator</th>
             <th colspan="2">Level</th>
           </tr>
           <tr class="TableCellLight"> 

htroot/js/Crawler.js

@@ -189,6 +189,7 @@ crawllist_tail = "</table>";
 function showRSS(RSS) {
   var doc = document.getElementById("crawllist");
   if (doc != null) {
+    if (crawllist_body.length > 100000) crawllist_body = "";
     for (var i=0; i<RSS.items.length; i++) {
       crawllist_body = "<tr class='TableCellLight'><td><a href='ViewFile.html?action=info&urlHash=" + RSS.items[i].guid.value + "' class='small' target='_blank' title='" + RSS.items[i].link + "'>" + RSS.items[i].description + "</a></td><td><a href='ViewFile.html?action=info&urlHash=" + RSS.items[i].guid.value + "' class='small' target='_blank' title='" + RSS.items[i].link + "'>" + RSS.items[i].link + "</a></td></tr>" + crawllist_body;
     }