|
@@ -185,6 +185,11 @@ EOT
|
|
}
|
|
}
|
|
}
|
|
}
|
|
list($width) = $this->getApplication()->getTerminalDimensions();
|
|
list($width) = $this->getApplication()->getTerminalDimensions();
|
|
|
|
+ if (null === $width) {
|
|
|
|
+ // In case the width is not detected, we're probably running the command
|
|
|
|
+ // outside of a real terminal, use space without a limit
|
|
|
|
+ $width = INF;
|
|
|
|
+ }
|
|
if (defined('PHP_WINDOWS_VERSION_BUILD')) {
|
|
if (defined('PHP_WINDOWS_VERSION_BUILD')) {
|
|
$width--;
|
|
$width--;
|
|
}
|
|
}
|