blob: 84476633c05acd2fa40522fa4da2f124c5d01511 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
"""
Rhizi web API
@deprecated: destined to split into rz_api_rest & rz_api_websocket
"""
from flask import current_app
from flask import escape
from flask import render_template
from flask import request
from flask import session
from flask import redirect
import logging
from rz_api_common import sanitize_input__rzdoc_name
log = logging.getLogger('rhizi')
def index(rzdoc_name=None):
# fetch rz_username for welcome message
email_address = session.get('username')
rz_username = "Anonymous Stranger"
role_set = []
if None != email_address: # session cookie passed & contains uid (email_address)
try:
uid, u_account = current_app.user_db.lookup_user__by_email_address(email_address)
role_set = u_account.role_set
rz_username = escape(u_account.rz_username)
except Exception as e:
# may occur on user_db reset or malicious cookie != stale cookie,
# for which the user would at least be known to the user_db
log.exception(e)
# establish rz_config template values
client_POV_server_name = request.headers.get('X-Forwarded-Host') # first probe for reverse proxy headers
if None == client_POV_server_name:
client_POV_server_name = request.headers.get('Host') # otherwise use Host: header
assert None != client_POV_server_name, 'failed to establish hostname, unable to construct rz_config'
hostname = client_POV_server_name
port = 80
if ':' in client_POV_server_name:
hostname = client_POV_server_name.split(':')[0]
port = client_POV_server_name.split(':')[1]
if None == rzdoc_name:
s_rzdoc_name = current_app.rz_config.rzdoc__mainpage_name
else:
try:
s_rzdoc_name = sanitize_input__rzdoc_name(rzdoc_name)
except Exception as e:
log.exception(e)
return render_template('index.html',
rz_username=rz_username,
rz_config__rzdoc_cur__name = s_rzdoc_name,
rz_config__rzdoc_default__name = current_app.rz_config.rzdoc__mainpage_name,
rz_config__hostname=hostname,
rz_config__port=port,
rz_config__optimized_main='true' if current_app.rz_config.optimized_main else 'false',
rz_config__role_set=role_set)
|
