ports/174237: databases/php5-redis - zAdd does not set the correct score for values 1000 & above

[Oleksandr Bodnarashyk]

>Number:         174237
>Category:       ports
>Synopsis:       databases/php5-redis - zAdd does not set the correct score for values 1000 & above
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Thu Dec 06 15:30:00 UTC 2012
>Closed-Date:
>Last-Modified:
>Originator:     Oleksandr Bodnarashyk
>Release:        FreeBSD 9.1-PRERELEASE amd64
>Organization:
CDAS
>Environment:
FreeBSD boda-free.local 9.1-PRERELEASE FreeBSD 9.1-PRERELEASE #0: Mon Oct 15 19:10:15 EEST 2012     root at boda-free.local:/usr/obj/usr/src/sys/GENERIC  amd64
>Description:
Due to backward incompatible changes  in php54 (https://bugs.php.net/bug.php?id=60977) zAdd method can not set correct score for values greater then 1000.
Developer of redis extension is aware of such change and has fixed this issue (https://github.com/nicolasff/phpredis/issues/227).
Current version of php5-redis port does not contain this fix.
At the time of writing this report actual version of redis extension is 2.2.2 which might be good candidate for update.
>How-To-Repeat:
PHP code:

$redis_handle = new Redis();
$redis_handle->connect('127.0.0.1', 6379);
$redis_handle->select(1);
$redis_handle->zadd('player-time', microtime(true), "110");


redis-cli:

redis 127.0.0.1:6379[1]> ZADD player-time 1344563611.4695 110
(integer) 0
redis 127.0.0.1:6379[1]> ZSCORE player-time 110
"1344563611.4695001"
//after php code
redis 127.0.0.1:6379[1]> ZSCORE player-time 110
"1"
>Fix:
https://github.com/nicolasff/phpredis/commit/8e433c479406dcb681044c79a331b97e3b5bc704


>Release-Note:
>Audit-Trail:
>Unformatted: