Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:266 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 88105 invoked from network); 25 Mar 2003 14:11:16 -0000 Received: from unknown (HELO ammma.de) (213.83.39.131) by pb1.pair.com with SMTP; 25 Mar 2003 14:11:16 -0000 Received: from ammma.net (ammma.net [62.225.101.66]) by ammma.de (8.11.6/8.11.6/AMMMa AG) with ESMTP id h2PEAsR30345; Tue, 25 Mar 2003 15:10:54 +0100 Received: from neo.wg.de (jan.ammma.mil [192.168.100.11]) by ammma.net (8.9.3/8.9.3/AMMMa AG) with ESMTP id PAA22732; Tue, 25 Mar 2003 15:11:11 +0100 Received: by neo.wg.de (Postfix, from userid 30) id 1C2024FC88; Tue, 25 Mar 2003 15:11:13 +0100 (CET) Received: from ammma.net (ammma.net [62.225.101.66]) by jan.dip.ammma.net (Horde) with HTTP for ; Tue, 25 Mar 2003 15:11:12 +0100 Message-ID: <1048601472.59e8985fd82a3@jan.dip.ammma.net> X-Priority: 3 (Normal) Date: Tue, 25 Mar 2003 15:11:12 +0100 To: Edin Kadribasic Cc: internals@lists.php.net References: <1048597006.bc7cd150f1bf1@jan.dip.ammma.net> <01c601c2f2ce$570b5360$3600000a@intra.proventum.net> In-Reply-To: <01c601c2f2ce$570b5360$3600000a@intra.proventum.net> MIME-Version: 1.0 Content-Type: text/plain; charset="ISO-8859-1" Content-Disposition: inline Content-Transfer-Encoding: 7bit User-Agent: Internet Messaging Program (IMP) 4.0-cvs X-Virus-Scanned: by AMaViS-perl11-milter (http://amavis.org/) Subject: Re: [PHP-DEV] __LINE__ != __LINE__? From: jan@horde.org (Jan Schneider) Quoting Edin Kadribasic : > > Current HEAD: > > > > die("line: " . __LINE__) works as expected, but die(__LINE__) > doesn't output > > anything. > > That's because die(int) will set exit status and not print anything. > die(string) prints string and exits. Hm, that should perhaps be added to the manual. According to the user notes the same applies to exit. Jan. -- http://www.horde.org - The Horde Project http://www.ammma.de - discover your knowledge http://www.tip4all.de - Deine private Tippgemeinschaft