From 628d6201aef58c32b0266c7db5c8b92f1a2fcd60 Mon Sep 17 00:00:00 2001
From: Maximilian Hils <git@maximilianhils.com>
Date: Sat, 19 Mar 2022 14:37:06 +0100
Subject: [PATCH] web: fix `~websocket` filter

---
 web/src/js/filt/filt.js  | 2 +-
 web/src/js/filt/filt.peg | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/src/js/filt/filt.js b/web/src/js/filt/filt.js
index 7d496bd4b..21b8646b1 100644
--- a/web/src/js/filt/filt.js
+++ b/web/src/js/filt/filt.js
@@ -2279,7 +2279,7 @@ export default (function() {
 
     // ~websocket
     function websocketFilter(flow){
-        return flow.type === "websocket";
+        return !!flow.websocket;
     }
     websocketFilter.desc = "is a Websocket Flow";
 
diff --git a/web/src/js/filt/filt.peg b/web/src/js/filt/filt.peg
index 360324562..647a06f2e 100644
--- a/web/src/js/filt/filt.peg
+++ b/web/src/js/filt/filt.peg
@@ -300,7 +300,7 @@ function url(regex){
 
 // ~websocket
 function websocketFilter(flow){
-    return flow.type === "websocket";
+    return !!flow.websocket;
 }
 websocketFilter.desc = "is a Websocket Flow";
 }