Bug #1460: empty() != !isset()
| From: | aulbach at unter dot franken dot de | Date: | Thu, 27 May 1999 14:31:57 +0000 |
| Subject: | Bug #1460: empty() != !isset() | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-6074@lists.php.net to get a copy of this message | ||
From: aulbach@unter.franken.de
Operating system: Linux 2.0
PHP version: 3.0.8
PHP Bug Type: Misbehaving function
Bug description: empty() != !isset()
Perhaps it is a documentation error:
<?
$val='';
if (empty($val) || ''==$val)
echo "empty(): EMPTY<BR>";
else
echo "empty(): NOT EMPTY<BR>";
if (!isset($val))
echo "isset(): EMPTY<BR>";
else
echo "isset(): NOT EMPTY<BR>";
?>
Results:
empty(): EMPTY
isset(): NOT EMPTY
If I read the docs, then empty() should be !isset(), so the result must be the same
--
PHP Development Mailing List http://www.php.net/
To unsubscribe send an empty message to php-dev-unsubscribe@lists.php.net
For help: php-dev-help@lists.php.net