php read,PHP: Readline 函数 - Manual

Readline only reads the window size on startup or on SIGWINCH.  This means if the window is resized when not in a readline() call, the next call will have odd behavior due to confusion about the window size.

The work-around is to force Readline to re-read the window size by sending it SIGWINCH.  This is accomplished using the async interface, which installs the signal handler but returns control to PHP.

The following function is a drop-in replacement for readline(), but re-reads the window size every time:

function xreadline($prompt)

{

global $xreadline, $xreadline_line;

$code = '$GLOBALS["xreadline"] = false;' .

'$GLOBALS["xreadline_line"] = $line;' .

'readline_callback_handler_remove();';

$cb = create_function('$line', $code);

readline_callback_handler_install($prompt, $cb);

$signal = defined("SIGWINCH") ? SIGWINCH : 28;

posix_kill(posix_getpid(), $signal);

$xreadline = true;

while ($xreadline)

readline_callback_read_char();

return is_null($xreadline_line) ? false : $xreadline_line;

}

?>