Я развертываю приложение Flask на Heroku, и по различным причинам мне необходимо реализовать сеансы на стороне сервера, и я не могу понять, как правильно его настроить.
Документы от Heroku о том, как подключиться, довольно минималистичны:
import os
import redis
r = redis.from_url(os.environ.get("REDIS_URL"))
Я пытаюсь запустить это с расширением Flask-Session . Согласно их быстрому примеру:
from flask import Flask, session
from flask.ext.session import Session
app = Flask(__name__)
# Check Configuration section for more details
SESSION_TYPE = 'redis'
app.config.from_object(__name__)
Session(app)
@app.route('/set/')
def set():
session['key'] = 'value'
return 'ok'
Я запутался в том, как они соединены, так как модуль redis даже не импортируется в последнем примере. Читая далее на странице сеанса Flask, есть таблица « Список ключей конфигурации, также понимаемых расширением: », одним из которых является «SESSION_REDIS», с описанием «Экземпляр redis.Redis. по умолчанию подключиться к 127.0.0.1:6379 ". Я предполагаю, что это экземпляр (r) из документов Heroku, но фраза «ключи, понятные расширению» не дает мне понятия о том, что на самом деле делать с ним.