jenkins-bot has submitted this change and it was merged.
Change subject: Fix another jshint warning
......................................................................
Fix another jshint warning
Change-Id: If2b9c74396afaf36fc4c3a13091257ec58dcb7e9
---
M .jshintignore
M lib/backend.js
2 files changed, 3 insertions(+), 0 deletions(-)
Approvals:
Anomie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.jshintignore b/.jshintignore
index 3c3629e..74a2617 100644
--- a/.jshintignore
+++ b/.jshintignore
@@ -1 +1,3 @@
node_modules
+latex_renderer
+bundler
diff --git a/lib/backend.js b/lib/backend.js
index eeeb960..d02b7b4 100644
--- a/lib/backend.js
+++ b/lib/backend.js
@@ -179,6 +179,7 @@
function runRenderer(jobDetails, bundleFile) {
// TODO: It isn't safe to not check the writer (aka, do we have
configuration for it)
+ var child;
var writer = jobDetails.writer;
var renderFile = path.join(
config.get('backend:temp_dir'),
--
To view, visit https://gerrit.wikimedia.org/r/96788
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If2b9c74396afaf36fc4c3a13091257ec58dcb7e9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Collection/OfflineContentGenerator
Gerrit-Branch: master
Gerrit-Owner: Anomie <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
