gistfile1.txt

--- a/node/bin/domrepl.js
+++ b/node/bin/domrepl.js
@@ -79,4 +79,11 @@ function date(){
            zeropad(d.getMinutes()),     '.',
            zeropad(d.getSeconds()),
            d.getHours() > 12 ? 'pm':'am' ].join('');
-}
\ No newline at end of file
+}
+
+// parse command line arguments
+
+if (process.argv[2] !== undefined) {
+    vm.runInContext('document._setMutationHandler(function(msg) { stdout([,JSON
+    vm.runInContext('window.location = ' + JSON.stringify(process.argv[2]) + ';
+}