diff options
author | Yuchen Pei <hi@ypei.me> | 2022-09-22 15:36:04 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-09-22 15:36:52 +1000 |
commit | d78d3dae30a4ac662ac5d35f1e7f245ce5825f40 (patch) | |
tree | 3deef745c96a96868cffee5cdedf306c1ebba386 /common/debug.js | |
parent | a9ef6fc4544f208416035743a07d8ed1bb7e6736 (diff) |
Separating out script and license checking routines to common/checks
Diffstat (limited to 'common/debug.js')
-rw-r--r-- | common/debug.js | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/common/debug.js b/common/debug.js new file mode 100644 index 0000000..b192862 --- /dev/null +++ b/common/debug.js @@ -0,0 +1,37 @@ +/** +* GNU LibreJS - A browser add-on to block nonfree nontrivial JavaScript. +* * +* Copyright (C) 2017, 2018 Nathan Nichols +* Copyright (C) 2018 Ruben Rodriguez <ruben@gnu.org> +* Copyright (C) 2022 Yuchen Pei <id@ypei.org> +* +* This file is part of GNU LibreJS. +* +* GNU LibreJS is free software: you can redistribute it and/or modify +* it under the terms of the GNU General Public License as published by +* the Free Software Foundation, either version 3 of the License, or +* (at your option) any later version. +* +* GNU LibreJS is distributed in the hope that it will be useful, +* but WITHOUT ANY WARRANTY; without even the implied warranty of +* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +* GNU General Public License for more details. +* +* You should have received a copy of the GNU General Public License +* along with GNU LibreJS. If not, see <http://www.gnu.org/licenses/>. +*/ + +const makeDebugLogger = (origin, enabled, time) => { + return (a, b) => { + if (enabled) { + console.log('[' + origin + '] Time spent so far: ' + (Date.now() - time) / 1000 + ' seconds'); + if (b === undefined) { + console.log(a); + } else { + console.log(a, b); + } + } + } +} + +module.exports = { makeDebugLogger }; |