blob: 214817abc3ad76032a79cca6029e6fc31ae5e95e (
plain)
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
|
<?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 = [
'get_php_version' => static fn() => PHP_VERSION,
'get_php_binary' => static fn() => PHP_BINARY,
];
$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;
}
$result = isset($dispatch[$name]) ? ($dispatch[$name])() : null;
$payload = serialize($result);
fwrite($client, pack('P', strlen($payload)) . $payload);
}
|
