Re: I hope this is the last email about this :)

At 12:23 24/10/2002, Yasuo Ohgaki wrote:

function prompt($prefix) { echo $prefix; flush(); } is _TRIVIAL_ to write. People should have this kind of function instead of enabling inefficient implicit flushing since it's more efficient and reliable.

You print something, it doesn't print out. How is it trivial to solve this? If you happen to know that there's IO buffering and that there's a function called flush() then maybe it trivial, but then there are the other million users who don't. Hence the idea of setting is to implicit flush for the masses, who not only don't know about the existence of flush(), but also don't know why it's even necessary. Zeev