wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-09-24 10:49:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Move getResourceUsage to Scribunto_LuaSandboxEngine

Browse source 
Fix-up for I6a4ed03c126.

Change-Id: I69e9218c6a3da6ca2a6f13e5911fee1c78a8f4a0
This commit is contained in:
Ori Livneh 2015-10-29 16:19:56 -07:00
parent 8299a0a22d
commit 7e63874c5c
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
engines/LuaSandbox/Engine.php
View file

@ -28,6 +28,17 @@ class Scribunto_LuaSandboxEngine extends Scribunto_LuaEngine {
}
}
public function getResourceUsage( $resource ) {
switch ( $resource ) {
case self::MEM_PEAK_BYTES:
return $this->interpreter->getPeakMemoryUsage();
case self::CPU_SECONDS:
return $this->interpreter->getCPUUsage();
default:
return false;
}
}
private function getLimitReportData() {
$ret = array();
$this->load();
@ -342,17 +353,6 @@ class Scribunto_LuaSandboxInterpreter extends Scribunto_LuaInterpreter {
return $this->sandbox->getCPUUsage();
}
public function getResourceUsage( $resource ) {
switch ( $resource ) {
case self::MEMORY_PEAK_BYTES:
return $this->getPeakMemoryUsage();
case self::CPU_SECONDS:
return $this->getCPUUsage();
default:
return false;
}
}
public function getProfilerFunctionReport( $units ) {
if ( $this->profilerEnabled ) {
static $unitsMap;