I looked at that ... after checking out some of the examples, I was
able to make it do basically the same thing that system() or popen()
was doing. It still doesn't seem to handle user input normally.
I guess I need to send the stdin (from the PHP script) to the stdin of
the process that I open. But how do I do that?