X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=plekit%2Ftable%2Ftable.js;fp=planetlab%2Fjs%2Fplc_tables.js;h=6fa8ca1c708cbca15a8fecbbe25bbdbd488cbaa5;hb=878ce4154f4619a5d07c780bf1f76dfd46771df4;hp=afd42382af21a963bfc0974647e3b29edf40ac91;hpb=18ffccc7029aedcdba5fcdbfd692edc84992a489;p=plewww.git

diff --git a/planetlab/js/plc_tables.js b/plekit/table/table.js
similarity index 97%
rename from planetlab/js/plc_tables.js
rename to plekit/table/table.js
index afd4238..6fa8ca1 100644
--- a/planetlab/js/plc_tables.js
+++ b/plekit/table/table.js
@@ -118,9 +118,10 @@ function plc_table_filter (table_id,pattern_id,and_id) {
   // re compile all patterns - ignore case
   var pattern_texts = pattern_text.split(" ");
   var patterns=new Array();
-  var i;
-  for (i in pattern_texts) 
+  for (var i=0; i < pattern_texts.length; i++) {
+    window.console.log ('compiled ' + i + '-th pattern = <' + pattern_texts[i] + '>');
     patterns[i]=new RegExp(pattern_texts[i],"i");
+  }
 
   // scan rows
   for (row_index = 0; row=rows[row_index]; row_index++) {