From 23e563cdb78e703b6129357f69a38460ac4a8c10 Mon Sep 17 00:00:00 2001 From: Pieter Vander Vennet Date: Fri, 19 Jul 2024 11:38:01 +0200 Subject: [PATCH] Merge master --- scripts/handleErrors.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/handleErrors.ts b/scripts/handleErrors.ts index 74fade996..410493522 100644 --- a/scripts/handleErrors.ts +++ b/scripts/handleErrors.ts @@ -45,7 +45,7 @@ class HandleErrors extends Script { } = JSON.parse(line) const e = parsed.message if (e.layout === "grb") { - console.log("Filtering on GRB!") + console.log("Skipping GRB ") continue } console.log(e.username, e.layout, e.message, parsed.date)