diff options
| author | Marcus Boerger <helly@php.net> | 2002-10-29 11:43:46 +0000 |
|---|---|---|
| committer | Marcus Boerger <helly@php.net> | 2002-10-29 11:43:46 +0000 |
| commit | 65222ddfb33360f5f27992bdc6750be2e303c81c (patch) | |
| tree | 54e9f551a61b8738b49d6f828a3f83f45e484dc1 /ext/xml | |
| parent | 3072369cd62fa4abc3ba33de50a3c804cee2719a (diff) | |
| download | php-git-65222ddfb33360f5f27992bdc6750be2e303c81c.tar.gz | |
do not dl() load in skipif.inc
Diffstat (limited to 'ext/xml')
| -rw-r--r-- | ext/xml/tests/skipif.inc | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/ext/xml/tests/skipif.inc b/ext/xml/tests/skipif.inc index 1c33251b76..44898f3da6 100644 --- a/ext/xml/tests/skipif.inc +++ b/ext/xml/tests/skipif.inc @@ -1,9 +1,10 @@ <?php +// DO NOT dl load extension +//if (!extension_loaded("xml")) { +// $dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so"; +// @dl("xml$dlext"); +//} if (!extension_loaded("xml")) { - $dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so"; - @dl("xml$dlext"); -} -if (!extension_loaded("xml")) { - print "skip\n"; + die('skip xml extension not available'); } ?> |