mirror of
https://github.com/php/php-src.git
synced 2025-08-18 06:58:55 +02:00
Remove broken client version checking
This commit is contained in:
parent
5edd530511
commit
25e9aa6b0a
1 changed files with 3 additions and 7 deletions
|
@ -17,15 +17,11 @@ if (!is_resource($conn)) {
|
|||
die("skip could not connect\n");
|
||||
}
|
||||
|
||||
function skip_server_version($version, $op = '<') { _skip_version('server', $version, $op); }
|
||||
function skip_client_version($version, $op = '<') { _skip_version('client', $version, $op); }
|
||||
|
||||
|
||||
function _skip_version($type, $version, $op)
|
||||
function skip_server_version($version, $op = '<')
|
||||
{
|
||||
$pg = pg_parameter_status($type.'_version');
|
||||
$pg = pg_parameter_status('server_version');
|
||||
if (version_compare($pg, $version, $op)) {
|
||||
die("skip {$type} version {$pg} is {$op} {$version}\n");
|
||||
die("skip Server version {$pg} is {$op} {$version}\n");
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue