Add pipe mechanism

Change-Id: I4207b33b1e4bab06ee632fd17be68542891caee3
diff --git a/dev/js/src/init.js b/dev/js/src/init.js
index 982929c..109fd48 100644
--- a/dev/js/src/init.js
+++ b/dev/js/src/init.js
@@ -355,9 +355,12 @@
 
         if (vc !== undefined) {
           input.value = vc.toQuery();
+          if (input.value == '')
+            input.removeAttribute('name');
         }
         else {
-          delete input['value'];
+          input.removeAttribute('value');
+          input.removeAttribute('name');
         };
       });
     };