checkpoint

[plewww.git] / planetlab / js / plc_tables.js

diff --git a/planetlab/js/plc_tables.js b/planetlab/js/plc_tables.js
index 8b8cbde..9207def 100644 (file)
--- a/planetlab/js/plc_tables.js
+++ b/planetlab/js/plc_tables.js
@@ -41,7 +41,7 @@ function plc_table_paginator (opts,tablename) {
   p.className = "paginationText";    
   p.appendChild(document.createTextNode(label));
 
-  t.insertBefore(p.cloneNode(true), t.firstChild);
+  /*  t.insertBefore(p.cloneNode(true), t.firstChild); */
   b.appendChild(p);
 }