diff options
Diffstat (limited to 'web/src/js/filt/filt.peg')
-rw-r--r-- | web/src/js/filt/filt.peg | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/web/src/js/filt/filt.peg b/web/src/js/filt/filt.peg index 7122a1a5..b2576661 100644 --- a/web/src/js/filt/filt.peg +++ b/web/src/js/filt/filt.peg @@ -217,6 +217,10 @@ function url(regex){ urlFilter.desc = "url matches " + regex; return urlFilter; } +function websocketFilter(flow){ + return flow.type === "websocket"; +} +websocketFilter.desc = "is a Websocket Flow"; } start "filter expression" @@ -278,6 +282,7 @@ Expr / "~tq" ws+ s:StringLiteral { return requestContentType(s); } / "~ts" ws+ s:StringLiteral { return responseContentType(s); } / "~u" ws+ s:StringLiteral { return url(s); } + / "~websocket" { return websocketFilter; } / s:StringLiteral { return url(s); } IntegerLiteral "integer" |