I know this thread is ridden to death but I want to add one argument for completeness: If the cgi's name will be changed, thousands of administrators need to fix their servers. But if the cli's name will be changed thousands of "end users" of php cli scripts will have to change the scripts' shebang line.
I have no idea if there are more administrators who have to care about php cgi or users who use php cli. But at least the first group will have less problems fixing the name change than the latter. Just my 0.02 Euro. Jan. -- http://www.horde.org - The Horde Project http://www.ammma.de - discover your knowledge http://www.tip4all.de - Deine private Tippgemeinschaft -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php
