1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
<?php
// PHP glue worker. See docs/dev/php-rpc.md.
$client = @stream_socket_client('unix://' . $argv[1], $errno, $errstr);
if ($client === false) {
exit(1);
}
$dispatch = [
'defined' => static fn($name) => defined($name),
'constant' => static fn($name) => defined($name) ? constant($name) : null,
];
$read_exact = static function ($conn, int $len): ?string {
$buf = '';
while (strlen($buf) < $len) {
$chunk = fread($conn, $len - strlen($buf));
if ($chunk === false || $chunk === '') {
return null;
}
$buf .= $chunk;
}
return $buf;
};
while (true) {
$header = $read_exact($client, 8);
if ($header === null) {
break;
}
$len = unpack('P', $header)[1];
$name = $len === 0 ? '' : $read_exact($client, $len);
if ($name === null) {
break;
}
$sep = strpos($name, "\0");
$arg = null;
if ($sep !== false) {
$arg = substr($name, $sep + 1);
$name = substr($name, 0, $sep);
}
$result = isset($dispatch[$name]) ? ($dispatch[$name])($arg) : null;
$payload = serialize($result);
fwrite($client, pack('P', strlen($payload)) . $payload);
}
|
