diff --git a/src/console/__init__.php b/src/console/__init__.php index 70b457f..8038b0e 100644 --- a/src/console/__init__.php +++ b/src/console/__init__.php @@ -1,14 +1,15 @@ $width) { if ($break_pos !== null) { $slice = array_slice($line, 0, $break_pos); while (count($slice) && end($slice) == ' ') { array_pop($slice); } $slice[] = "\n"; $lines[] = $slice; $line = array_slice($line, $break_pos); $line_len = $len_after_break; $len_after_break = 0; $break_pos = 0; } } if ($chr == " ") { $break_pos = count($line); $len_after_break = 0; } if ($chr == "\n") { $lines[] = $line; $line = array(); $len_after_break = 0; $line_len = 0; $break_pos = null; } } if ($line) { if ($line) { $lines[] = $line; } } $pre = null; if ($indent) { $pre = str_repeat(' ', $indent); } foreach ($lines as $idx => $line) { $lines[$idx] = $pre.implode('', $line); } return implode('', $lines); } /** * @group console */ function phutil_console_require_tty() { if (function_exists('posix_isatty') && !posix_isatty(STDIN)) { throw new PhutilConsoleStdinNotInteractiveException(); } }