Re: Question: Should exit() print out the integer exit-status?
| From: | Zeev Suraski | Date: | Wed, 19 Dec 2001 23:17:49 +0000 |
| Subject: | Re: Question: Should exit() print out the integer exit-status? | ||
| References: | 1 2 3 4 5 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-74463@lists.php.net to get a copy of this message | ||
sys_exit()/system_exit() sound nice to me, definitely nicer than all of my suggestions :)
At 23:13 19/12/2001, Jason Greene wrote:
Zeev, I understand argument 1, and that's why I like the idea of overloading integer output. I still wonder if there is a web page out there that calls exit(integer) Argument 2 is good, because PHP is focused toward the web, which I understand that it should be. However, I believe the language syntax and style can make a good general purpose scripting language as well. Things like this can keep PHP from increasing beyond the 10% cmd line usage. If adding an additional function is all that you will settle for, then I would suggest we use sys_exit() or system_exit() that way we resemble some of the languages out there. (Java - System.exit(), Python - Sys.exit()) -Jason ----- Original Message ----- From: "Zeev Suraski" <zeev@zend.com> To: "Jason Greene" <jason@php.net> Cc: "Lars Torben Wilson" <torben@php.net>; <derick@php.net>; "Vlad Krupin" <vlad@php.net>; "Jani Taskinen" <sniper@iki.fi>; "PHP Developers Mailing List" <php-dev@lists.php.net> Sent: Wednesday, December 19, 2001 2:26 PM Subject: Re: [PHP-DEV] Question: Should exit() print out the integer exit-status? Two reasons: (1) It never behaved that way, and we're not in the language design phase, but almost 4.5 years after it got started. (2) The Web being PHP's primary environment where system exit codes have no meaning at all, makes this argument useless in well over 90% (est) of the cases If (1) wasn't true, we could consider it, and frankly, chances are it would have ended up behaving like its C counterpart. However, because there's no overwhelming reason to change it other than a few people not liking a longer name for their relatively-rare usage, breaking compatibility makes no sense. Zeev At 17:57 19/12/2001, Jason Greene wrote:Zeev, Why don't we follow C/C++/Java/Perl/Python, and almost every other language on this one, and make exit behave like exit should. -Jason ----- Original Message ----- From: "Zeev Suraski" <zeev@zend.com> To: "Lars Torben Wilson" <torben@php.net> Cc: <derick@php.net>; "Vlad Krupin" <vlad@php.net>; "Jani Taskinen" <sniper@iki.fi>; "PHP Developers Mailing List" <php-dev@lists.php.net> Sent: Wednesday, December 19, 2001 6:59 AM Subject: Re: [PHP-DEV] Question: Should exit() print out the integer exit-status?documentation bugexit_with_status(), silent_exit(), quiet_exit(), etc. etc. Something should fit :) At 14:49 19/12/2001, Lars Torben Wilson wrote:I go forZeev Suraski writes:At 14:04 19/12/2001, derick@php.net wrote:Two ways to fix it then, either update the manual, or fix exit().then, didthe last one then. Ppl who relied on the undocumented featuresimply the wrong thing.Only the documentation was wrong to begin with! Adifferently.anybodyshouldnot become a feature, especially when it never worked that way, sowho actually used this function saw that it was behavingphp-list-admin@lists.php.net-- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net For additional commands, e-mail: php-dev-help@lists.php.net To contact the list administrators, e-mail:ZeevWell, from another point of view, both were wrong. :) The manual documented behaviour which didn't exist, so it was wrong. In another sense, the code behaved in a fashion which had a very high WTF factor, so it couild be called 'wrong' too. An easy way to set and check the exit status of a PHP script would make a lot of life a hell of a lot easier. -- Torben Wilson <torben@php.net> http://www.thebuttlesschaps.com http://www.hybrid17.com http://www.inflatableeye.com +1.604.709.0506-- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net For additional commands, e-mail: php-dev-help@lists.php.net To contact the list administrators, e-mail: php-list-admin@lists.php.net