diff options
author | Marc Delisle <marc@infomarc.info> | 2006-12-06 21:07:06 +0300 |
---|---|---|
committer | Marc Delisle <marc@infomarc.info> | 2006-12-06 21:07:06 +0300 |
commit | 5511c701e462c7543563892db4ca4ac5c6fcbcd4 (patch) | |
tree | b86345643fdb9ef2619ae7d10a6a1d93eb3b1aa3 /server_variables.php | |
parent | 0547dafd9b306c6fd42ccc5a5dd6bb2ede2b2a65 (diff) |
bug #1589611, problem on 64-bit systems
Diffstat (limited to 'server_variables.php')
-rw-r--r-- | server_variables.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server_variables.php b/server_variables.php index f3482d587b..7be848e6d7 100644 --- a/server_variables.php +++ b/server_variables.php @@ -72,7 +72,7 @@ foreach ($serverVars as $name => $value) { <th nowrap="nowrap"> <?php echo htmlspecialchars(str_replace('_', ' ', $name)); ?></th> <td class="value"><?php - if (is_numeric($value)) { + if (strlen($value) < 16 && is_numeric($value)) { echo PMA_formatNumber($value, 0); $is_numeric = true; } else { |