1
0
Fork 0

Do not use detected width for output formatting if it is not available

pull/2256/head
Romain Neutron 2013-09-11 19:37:30 +02:00
parent a2ffda4f13
commit a965642769
1 changed files with 5 additions and 0 deletions

View File

@ -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--;
} }