+ 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];
+ i++;
+ break;
+ case '-P':
+ BrowserSettings.passwd = args[i+1];