From 3cbc4142f06f87c28fa93db0de2fd1f1604752d9 Mon Sep 17 00:00:00 2001 From: Napalys Klicius Date: Mon, 2 Jun 2025 17:40:06 +0200 Subject: [PATCH] Update javascript/ql/src/Quality/UnhandledStreamPipe.ql Co-authored-by: Asger F --- javascript/ql/src/Quality/UnhandledStreamPipe.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/javascript/ql/src/Quality/UnhandledStreamPipe.ql b/javascript/ql/src/Quality/UnhandledStreamPipe.ql index c88a3e62223..f2cdee85a21 100644 --- a/javascript/ql/src/Quality/UnhandledStreamPipe.ql +++ b/javascript/ql/src/Quality/UnhandledStreamPipe.ql @@ -242,7 +242,7 @@ private predicate hasErrorHandlerRegistered(PipeCall pipeCall) { /** * Holds if the pipe call uses `gulp-plumber`, which automatically handles stream errors. - * Gulp-plumber is a Node.js module that prevents pipe breaking caused by errors from gulp plugins. + * `gulp-plumber` returns a stream that uses monkey-patching to ensure all subsequent streams in the pipeline propagate their errors. */ private predicate hasPlumber(PipeCall pipeCall) { pipeCall.getDestinationStream().getALocalSource() = API::moduleImport("gulp-plumber").getACall()