mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-04-23 00:55:57 +00:00
Code Issues Projects Releases Wiki Activity

Process: shut up PHPStan about possible float returns on getMemoryUsage and friends

Browse Source 
this can never actually happen because the given data sources will never have such large numbers, but PHPStan doesn't know this.
This commit is contained in:
Dylan K. Taylor 2020-04-15 12:07:24 +01:00
parent 24d64eedab
commit b193d9f919
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/pocketmine/utils/Process.php
View File

@ -57,12 +57,14 @@ final class Process{
if(Utils::getOS() === "linux" or Utils::getOS() === "android"){
$status = @file_get_contents("/proc/self/status");
if($status === false) throw new AssumptionFailedError("/proc/self/status should always be accessible");
// the numbers found here should never be bigger than PHP_INT_MAX, so we expect them to always be castable to int
if(preg_match("/VmRSS:[ \t]+([0-9]+) kB/", $status, $matches) > 0){
$VmRSS = $matches[1] * 1024;
$VmRSS = ((int) $matches[1]) * 1024;
}
if(preg_match("/VmSize:[ \t]+([0-9]+) kB/", $status, $matches) > 0){
$VmSize = $matches[1] * 1024;
$VmSize = ((int) $matches[1]) * 1024;
}
}
@ -96,9 +98,9 @@ final class Process{
foreach($mappings as $line){
if(preg_match("#([a-z0-9]+)\\-([a-z0-9]+) [rwxp\\-]{4} [a-z0-9]+ [^\\[]*\\[([a-zA-z0-9]+)\\]#", trim($line), $matches) > 0){
if(strpos($matches[3], "heap") === 0){
$heap += hexdec($matches[2]) - hexdec($matches[1]);
$heap += (int) hexdec($matches[2]) - (int) hexdec($matches[1]);
}elseif(strpos($matches[3], "stack") === 0){
$stack += hexdec($matches[2]) - hexdec($matches[1]);
$stack += (int) hexdec($matches[2]) - (int) hexdec($matches[1]);
}
}
}