Add --exclude-script to respec2html

close speced#538
dontcallmedom · Dec 17, 2015 · 72ef6f5 · 72ef6f5 · plehegar · Dec 18, 2015
1 parent e66acec
commit 72ef6f5
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/tools/respec2html.js b/tools/respec2html.js
@@ -10,6 +10,7 @@ var page = require("webpage").create()
 ,   timer
 ,   reportErrors = false
 ,   reportWarnings = false
+,   ignoreScripts = false
 ,   errors = []
 ,   warnings = []
 ;
@@ -30,6 +31,13 @@ if (args.indexOf("-w") !== -1) {
     reportWarnings = true;
 }
 
+if (args.indexOf("--exclude-script") !== -1) {
+    var idx = args.indexOf("--exclude-script");
+    var values = args.splice(idx, 2);
+    ignoreScripts = values[1];
+}
+
+
 // Reading other parameters
 var source = args[1]
 ,   output = args[2]
@@ -52,6 +60,8 @@ if (args.length < 2 || args.length > 4) {
 page.onResourceRequested = function (requestData, networkRequest) {
     if (requestData.url === "file://www.w3.org/Tools/respec/respec-w3c-common") {
         networkRequest.changeUrl("https://www.w3.org/Tools/respec/respec-w3c-common");
+    } else if (ignoreScripts && requestData.url.indexOf(ignoreScripts) === 0) {
+        networkRequest.abort();
     }
 };