add node-usb-partition as an option for download.

[plewww.git] / planetlab / nodes / interface.js

diff --git a/planetlab/nodes/interface.js b/planetlab/nodes/interface.js
index 08bc28d..e97487f 100644 (file)
--- a/planetlab/nodes/interface.js
+++ b/planetlab/nodes/interface.js
@@ -80,6 +80,7 @@ function same_subnet (ip1,ip2,masklen) {
 }
 
 function networkHelper () {
+  window.console.log('networkHelper');
   var ip=$('ip').value;
   var nm=$('netmask').value;