fix bug for redis.class.php