nopaque/app/events.py

106 lines
4.0 KiB
Python
Raw Normal View History

from flask import current_app, request
from flask_login import current_user, login_required
2019-11-06 12:22:18 +00:00
from .decorators import admin_required
from . import db, socketio
from .models import User
import json
import jsonpatch
2019-11-04 12:18:55 +00:00
import logging
2019-09-02 08:59:13 +00:00
'''
' A list containing session ids of connected Socket.IO sessions. It is used to
' determine runtimes of associated background tasks.
'''
connected_sessions = []
@socketio.on('connect')
@login_required
def connect():
'''
' The Socket.IO module creates a session id (sid) on each request. The
' initiating client is automatically placed in a room with that sid, which
' will be used for further information exchange generated by a background
' task associated with the sid.
'''
connected_sessions.append(request.sid)
socketio.start_background_task(background_task,
current_app._get_current_object(),
current_user.id,
request.sid)
@socketio.on('disconnect')
@login_required
def disconnect():
'''
2019-11-06 14:35:27 +00:00
' On disconnect the session id (sid) of the connection gets removed from
' connected sessions list (see above).
'''
connected_sessions.remove(request.sid)
@socketio.on('inspect_user')
2019-09-18 09:33:06 +00:00
@login_required
@admin_required
def inspect_user(user_id):
2019-09-18 09:33:06 +00:00
'''
' The Socket.IO module creates a session id (sid) on each request. The
' initiating admin is automatically placed in a room with that sid, which
' will be used for further information exchange generated by a background
' task associated with the sid. Admin will be placed in that room on emiting
' "conncect_admin".
'''
socketio.start_background_task(background_task,
2019-09-18 09:33:06 +00:00
current_app._get_current_object(),
user_id,
request.sid,
True)
2019-09-18 09:33:06 +00:00
def background_task(app, user_id, session_id, foreign=False):
2019-09-18 09:33:06 +00:00
'''
' Sends initial corpus and job lists to the client. Afterwards it checks
' every 3 seconds if changes to the initial values appeared. If changes are
' detected, a RFC 6902 compliant JSON patch gets send.
'
' NOTE: The initial values are send as a init-* events.
' The JSON patches are send as update-* events.
'
' > where '*' is either 'corpora' or 'jobs'
'''
with app.app_context():
2019-10-29 08:51:47 +00:00
user = db.session.query(User).get_or_404(user_id)
2019-09-18 09:33:06 +00:00
''' Get current values from the database. '''
corpora = user.corpora_as_dict()
jobs = user.jobs_as_dict()
''' Send initial values. '''
socketio.emit('init-foreign-corpora' if foreign else 'init-corpora',
2019-09-18 09:33:06 +00:00
json.dumps(corpora),
room=session_id)
socketio.emit('init-foreign-jobs' if foreign else 'init-jobs',
2019-09-18 09:33:06 +00:00
json.dumps(jobs),
room=session_id)
''' TODO: Implement maximum runtime for this loop. '''
while session_id in connected_sessions:
2019-09-18 09:33:06 +00:00
''' Get current values from the database '''
new_corpora = user.corpora_as_dict()
new_jobs = user.jobs_as_dict()
''' Compute JSON patches. '''
corpus_patch = jsonpatch.JsonPatch.from_diff(corpora, new_corpora)
jobs_patch = jsonpatch.JsonPatch.from_diff(jobs, new_jobs)
''' In case there are patches, send them to the user. '''
if corpus_patch:
socketio.emit('update-foreign-corpora' if foreign else 'update-corpora',
2019-09-18 09:33:06 +00:00
corpus_patch.to_string(),
room=session_id)
if jobs_patch:
socketio.emit('update-foreign-jobs' if foreign else 'update-jobs',
2019-09-18 09:33:06 +00:00
jobs_patch.to_string(),
room=session_id)
''' Set new values as references for the next iteration. '''
corpora = new_corpora
jobs = new_jobs
socketio.sleep(3)