Issue 1727 - Prevent circumvention via WebSocket

lib/requestBlocker.js

Index: lib/requestBlocker.js
diff --git a/lib/requestBlocker.js b/lib/requestBlocker.js
index bb7e482e108dfb6d82778364b349a752a8cd4f99..3a674e3c51c62aa17ba7ae07271e37049bed2917 100644
--- a/lib/requestBlocker.js
+++ b/lib/requestBlocker.js
@@ -146,7 +146,7 @@ function onFilterChange(arg, isDisabledAction)
   });
 }
 
-FilterNotifier.on("subscription.added", onFilterChange)
+FilterNotifier.on("subscription.added", onFilterChange);
 FilterNotifier.on("subscription.removed", onFilterChange);
 FilterNotifier.on("subscription.updated", onFilterChange);
 FilterNotifier.on("subscription.disabled", arg => onFilterChange(arg, true));
@@ -154,3 +154,14 @@ FilterNotifier.on("filter.added", onFilterChange);
 FilterNotifier.on("filter.removed", onFilterChange);
 FilterNotifier.on("filter.disabled", arg => onFilterChange(arg, true));
 FilterNotifier.on("load", onFilterChange);
+
+port.on("websocket-request", function(msg, sender)
+{
+  var results = ext.webRequest.onBeforeRequest._dispatch(
+    new URL(msg.url),
+    "OTHER",
+    sender.page,
+    sender.frame
+  );
+  return results.indexOf(false) != -1;
+});