Date: Sat, 8 Dec 2012 06:20:00 GMT From: Jumbuck Entertainment <jumbuckent@gmail.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/174237: databases/php5-redis - zAdd does not set the correct score for values 1000 & above Message-ID: <201212080620.qB86K0L3089967@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/174237; it has been noted by GNATS. From: Jumbuck Entertainment <jumbuckent@gmail.com> To: bug-followup@FreeBSD.org, boda2004@gmail.com Cc: Subject: Re: ports/174237: databases/php5-redis - zAdd does not set the correct score for values 1000 & above Date: Sat, 8 Dec 2012 07:19:43 +0100 I've applied patch from http://www.freebsd.org/cgi/query-pr.cgi?pr=173643&cat=ports and confirm that issue is resolved in 2.2.2: First run with 2.2.1_1 php5-redis port: pkg_info | grep php5-redis php5-redis-2.2.1_1 PHP5-Extension for Redis php code: php -r '$redis_handle = new Redis();$redis_handle->connect("192.168.22.104", 6379);$redis_handle->zadd("player-time", microtime(true), "110");' redis-cli MONITOR 1354946977.710626 [0 192.168.22.101:65438] "ZADD" "player-time" "1" "110" Second run after applying patch and installing updated port (2.2.2): pkg_info | grep php5-redis php5-redis-2.2.2 PHP5-Extension for Redis php code: php -r '$redis_handle = new Redis();$redis_handle->connect("192.168.22.104", 6379);$redis_handle->zadd("player-time", microtime(true), "110");' redis-cli MONITOR 1354947244.096231 [0 192.168.22.101:12120] "ZADD" "player-time" "1354947244.09559798" "110"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201212080620.qB86K0L3089967>