Как я должен очистить сеанс флеш-сервера с Redis? - PullRequest
0 голосов
/ 17 мая 2018

Должен ли я использовать session.pop () или session.clear ()?

Имеется текущая проблема: я пытался выполнить session.clear () для завершения сеанса, но сеанс все еще существует в redis.

Надеюсь:

  1. Завершить текущий сеанс
  2. Удалить соответствующее хранилище сеанса в redis

Что лучше всего сделать там?Большое спасибо.

...