Update INF to PHP_INT_MAX as recommended by Stof

main
Romain Neutron 11 years ago
parent b86b8a597e
commit 9b7fc0bae7

@ -188,7 +188,7 @@ EOT
if (null === $width) { if (null === $width) {
// In case the width is not detected, we're probably running the command // In case the width is not detected, we're probably running the command
// outside of a real terminal, use space without a limit // outside of a real terminal, use space without a limit
$width = INF; $width = PHP_INT_MAX;
} }
if (defined('PHP_WINDOWS_VERSION_BUILD')) { if (defined('PHP_WINDOWS_VERSION_BUILD')) {
$width--; $width--;

Loading…
Cancel
Save