def event_get(last_event=None):
if app_server.interrupt:
return flask.abort(503)
if not last_event:
events = [
{
'id': uuid.uuid4().hex,
'type': 'time',
'resource_id': None,
'time': int(time.time() * 1000),
},
]
return utils.jsonify(events)
run_time = 0
while run_time <= 30 and not app_server.interrupt:
events = []
for event in Event.get_events(last_event):
events.append({
'id': event.id,
'type': event.type,
'resource_id': event.resource_id,
'time': event.time,
})
if len(events):
return utils.jsonify(events)
run_time += 0.1
time.sleep(0.1)
return utils.jsonify([])
def event_get(last_event=None):
if app_server.interrupt:
return flask.abort(503)
if not last_event:
events = [
{
'id': uuid.uuid4().hex,
'type': 'time',
'resource_id': None,
'time': int(time.time() * 1000),
},
]
return utils.jsonify(events)
run_time = 0
while run_time <= 30 and not app_server.interrupt:
events = []
for event in Event.get_events(last_event):
events.append({
'id': event.id,
'type': event.type,
'resource_id': event.resource_id,
'time': event.time,
})
if len(events):
return utils.jsonify(events)
run_time += 0.1
time.sleep(0.1)
return utils.jsonify([])
def event_get(cursor=None):
if app_server.interrupt:
return flask.abort(503)
events = []
for event in Event.get_events(cursor):
events.append(event.dict())
return utils.jsonify(events)
