diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/rz_api.py | 11 | ||||
| -rw-r--r-- | src/server/rz_server_ctrl.py | 28 | ||||
| -rw-r--r-- | src/server/rz_user.py | 10 |
3 files changed, 28 insertions, 21 deletions
diff --git a/src/server/rz_api.py b/src/server/rz_api.py index 012d4826..356e79d9 100644 --- a/src/server/rz_api.py +++ b/src/server/rz_api.py @@ -139,17 +139,6 @@ def diff_commit__set(): op = DBO_diff_commit__topo(topo_diff) return __common_exec(op) -def monitor__server_info(): - """ - server monitor stub - """ - dt = datetime.now() - resp_arr = ["<html><body>", - "<h1>Rhizi Server v0.1</h1><p>", - "date: " + dt.strftime("%Y-%m-%d") + "<br>", - "time: " + dt.strftime("%H:%M:%S") + "<br>", - "</p></body></html>"] - return (''.join(resp_arr), 200) def username_initials(username): """ return two letter (always) initials of username. diff --git a/src/server/rz_server_ctrl.py b/src/server/rz_server_ctrl.py new file mode 100644 index 00000000..c57aff9a --- /dev/null +++ b/src/server/rz_server_ctrl.py @@ -0,0 +1,28 @@ +""" +Server control/monitoring logic +""" + +from datetime import datetime +from flask import current_app + +def monitor__server_info(): + """ + server monitor stub + """ + dt = datetime.now() + resp_arr = ["<html><body>", + "<h1>Rhizi Server v0.1</h1><p>", + "date: " + dt.strftime("%Y-%m-%d") + "<br>", + "time: " + dt.strftime("%H:%M:%S") + "<br>", + "</p></body></html>"] + return (''.join(resp_arr), 200) + +def rest__list_users(): + ret_body = [] + for uid, u_account in current_app.user_db: + ret_line = [] + ret_line.append('uid: %s' % (uid).ljust(16)) + for f_str in str(u_account).split(','): + ret_line.append(f_str.ljust(16)) + ret_body.append(' '.join(ret_line)) + return ('<pre>' + '\n'.join(ret_body) + '</pre>') diff --git a/src/server/rz_user.py b/src/server/rz_user.py index 778cc56c..534a0146 100644 --- a/src/server/rz_user.py +++ b/src/server/rz_user.py @@ -114,16 +114,6 @@ def rest__login(): if request.method == 'GET': return render_template('login.html') -def rest__list_users(): - ret_body = [] - for uid, u_account in current_app.user_db: - ret_line = [] - ret_line.append('uid: %s' % (uid).ljust(16)) - for f_str in str(u_account).split(','): - ret_line.append(f_str.ljust(16)) - ret_body.append(' '.join(ret_line)) - return ('<pre>' + '\n'.join(ret_body) + '</pre>') - def rest__logout(): """ REST API endpoint: logout |
