PHPRedis - time()不工作

Question

我有个问题。

在我的项目中，很少有服务器在redis中修改相同的数据。所有的服务器可能有不同的时间。换句话说，在某些情况下，我不能依赖应用服务器的时间。

所以我想用Redis的时间作为一般的基点。

一切都可能很好，PHPRedis文档说，有一个函数可以完成我所需要的功能：时间()。

但这里有一个大惊喜：

//... create connection etc...
var_dump($redis->time());

产出如下：

bool(false)

问题是-这到底是什么？你曾经面对过这样的问题吗？

如何使用它的函数获得redis服务器时间？

注意:其他的红皮书功能很好，我可以读写数据。连接正常，并正确创建。

Answer 1

这里没有人帮忙。

就像其他地方一样。

所以我需要发明一个徒步旅行。

给你，如果有人需要的话。

    // Generate unique temporary key
    $key = uniqid() . time();

    // Take some random future TS
    $future_ts = time() + 1000;

    $redis->setex($key, time(), 5);
    $redis->expireAt($key, $future_ts);

    // This variable now contains what I need
    $redis_ts = $future_ts - $redis->ttl($key);