title: How to get session list from Redis?
body: <p>My sessions are stored in Redis server <a href="https://github.com/nicolasff/phpredis" rel="nofollow">https://github.com/nicolasff/phpredis</a></p>
  
  <p>How can I get all session list from the server?</p>
  
  <p>It was pretty easy when I've used file system:</p>
  
  <pre><code>preg_grep("/^sess_/", scandir(ini_get("session.save_path")))
  </code></pre>
  
  <p>php.ini:</p>
  
  <pre><code>session.save_handler = redis
  session.save_path = "tcp://127.0.0.1:6379"
  </code></pre>