From f79290bfcf8655a7c71b9d0ea51859405226873b Mon Sep 17 00:00:00 2001 From: Matthias Osswald Date: Wed, 16 Jun 2021 14:45:39 +0200 Subject: [PATCH] [INTERNAL] JSDoc: Log resource name instead of full file path Follow-up of bcb511074319aca894a026379bd2979627fb69c7 Change-Id: I3c0793f837aa0ae12d388469f681943fc26c131f --- lib/jsdoc/ui5/plugin.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/jsdoc/ui5/plugin.js b/lib/jsdoc/ui5/plugin.js index b0b9138f3484..3f901e5a9a1a 100644 --- a/lib/jsdoc/ui5/plugin.js +++ b/lib/jsdoc/ui5/plugin.js @@ -2671,7 +2671,7 @@ exports.astNodeVisitor = { ); }); if ( !hasCopyrightComment ) { - error(`document doesn't contain a copyright notice: ${currentSourceName}`); + error(`document doesn't contain a copyright notice: ${getResourceName(currentSourceName)}`); } } }