jenkins-bot has submitted this change and it was merged.
Change subject: Scribunto_LuaSandboxEngine::getResourceUsage(): call load()
......................................................................
Scribunto_LuaSandboxEngine::getResourceUsage(): call load()
This is required for ensuring $this->interpreter is available. See
::getLimitReportData(), which does the same thing.
Change-Id: I275b093dd7d5f4873ec4b912823322e6e533cae1
---
M engines/LuaSandbox/Engine.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/engines/LuaSandbox/Engine.php b/engines/LuaSandbox/Engine.php
index 019c6b4..7eb9c2e 100644
--- a/engines/LuaSandbox/Engine.php
+++ b/engines/LuaSandbox/Engine.php
@@ -29,6 +29,7 @@
}
public function getResourceUsage( $resource ) {
+ $this->load();
switch ( $resource ) {
case self::MEM_PEAK_BYTES:
return $this->interpreter->getPeakMemoryUsage();
--
To view, visit https://gerrit.wikimedia.org/r/249930
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I275b093dd7d5f4873ec4b912823322e6e533cae1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Scribunto
Gerrit-Branch: wmf/1.27.0-wmf.4
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Jackmcbarn <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
