Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:9731
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Message-ID: <409CAEC8.7000103@backendmedia.com>
Date: Sat, 08 May 2004 11:56:24 +0200
Organization: BackendMedia GbR
User-Agent: Mozilla Thunderbird 0.5 (Windows/20040207)
MIME-Version: 1.0
To: PHP Developers Mailing List <internals@lists.php.net>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Subject: throwing an exception on failed require
From: smith@backendmedia.com (Lukas Smith)

Hi,

I think it would be useful if require would throw an exception on failure.

Currently one would use @include in order to load in a file that could 
be missing or could contain parse errors. However it is impossible to 
easy find out if the file was missing, had parse errors or returned false.

Please also note that file_exists() doesnt check the include path and a 
check like this also opens up the chance for race conditions etc.

By throwing an exception inside require with the necessary information 
it would be able to cleanly handle this situation without having to 
silence this error and then parsing the error message. And it would 
obviously be BC compatible as uncaught exceptions are fatal.

regards,
Lukas Smith