mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Merge branch 'PHP-5.4' of ssh://git.php.net/php-src into PHP-5.4
This commit is contained in:
commit
ae9ba081c8
1 changed files with 1 additions and 1 deletions
|
@ -6,7 +6,7 @@ if (!extension_loaded('sockets')) {
|
|||
die('skip sockets extension not available.');
|
||||
}
|
||||
if (PHP_OS !== 'Darwin' && false === strpos(PHP_OS, 'BSD')) {
|
||||
die('is not *BSD.');
|
||||
die('skip is not *BSD.');
|
||||
}
|
||||
--FILE--
|
||||
<?php
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue