Как я должен очистить сеанс флеш-сервера с Redis?
Должен ли я использовать session.pop() или session.clear()?
Текущая проблема: я пытался выполнить session.clear (), чтобы завершить сеанс, но сеанс все еще там в redis.
Я надеюсь:
- Завершить текущий сеанс
- Удалить соответствующее хранилище сеанса в Redis
Какова лучшая практика там? Большое спасибо.