This seems to be the same (very old) bug in debian http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=286356
** Bug watch added: Debian Bug tracker #286356 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=286356 -- php (via libedit using_history()) incorrectly opens stdin https://bugs.launchpad.net/bugs/322214 You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to php5 in ubuntu. -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
