PocketMine-MP
5.18.1 git-9381fc4172e5dce4cada1cb356050c8a2ab57b94
CrashDumpData.php
1
<?php
2
3
/*
4
*
5
* ____ _ _ __ __ _ __ __ ____
6
* | _ \ ___ ___| | _____| |_| \/ (_)_ __ ___ | \/ | _ \
7
* | |_) / _ \ / __| |/ / _ \ __| |\/| | | '_ \ / _ \_____| |\/| | |_) |
8
* | __/ (_) | (__| < __/ |_| | | | | | | | __/_____| | | | __/
9
* |_| \___/ \___|_|\_\___|\__|_| |_|_|_| |_|\___| |_| |_|_|
10
*
11
* This program is free software: you can redistribute it and/or modify
12
* it under the terms of the GNU Lesser General Public License as published by
13
* the Free Software Foundation, either version 3 of the License, or
14
* (at your option) any later version.
15
*
16
* @author PocketMine Team
17
* @link http://www.pocketmine.net/
18
*
19
*
20
*/
21
22
declare(strict_types=1);
23
24
namespace
pocketmine\crash;
25
26
final
class
CrashDumpData
implements
\JsonSerializable{
27
28
public
int
$format_version;
29
30
public
float
$time;
31
32
public
float
$uptime;
33
35
public
array $lastError = [];
36
38
public
array $error;
39
40
public
string
$thread;
41
42
public
string
$plugin_involvement;
43
44
public
string
$plugin =
""
;
45
47
public
array $code = [];
48
50
public
array $trace;
51
56
public
array $plugins = [];
57
59
public
array $parameters = [];
60
61
public
string
$serverDotProperties =
""
;
62
63
public
string
$pocketmineDotYml =
""
;
64
69
public
array $extensions = [];
70
71
public
?
int
$jit_mode =
null
;
72
73
public
string
$phpinfo =
""
;
74
75
public
CrashDumpDataGeneral
$general;
76
80
public
function
jsonSerialize
() : array{
81
$result = (array) $this;
82
unset($result[
"serverDotProperties"
]);
83
unset($result[
"pocketmineDotYml"
]);
84
$result[
"pocketmine.yml"
] = $this->pocketmineDotYml;
85
$result[
"server.properties"
] = $this->serverDotProperties;
86
return
$result;
87
}
88
}
pocketmine\crash\CrashDumpDataGeneral
Definition:
CrashDumpDataGeneral.php:26
pocketmine\crash\CrashDumpData
Definition:
CrashDumpData.php:26
pocketmine\crash\CrashDumpData\jsonSerialize
jsonSerialize()
Definition:
CrashDumpData.php:80
src
crash
CrashDumpData.php
Generated by
1.9.3