domains/remove_print_css.js

[app.webkitpdf] / main.js

diff --git a/main.js b/main.js
index 679ff1d..81e74c8 100755 (executable)
--- a/main.js
+++ b/main.js
@@ -44,6 +44,10 @@ for(var i=0; i< args.length; i++){
         case '-f':
             BrowserSettings.export_filename = args[i+1];
             i++;
+            break;
+        case '-H':
+            BrowserSettings.export_filename_html = args[i+1];
+            i++;
             break; 
         case '-U':
             BrowserSettings.username = args[i+1];