blob: b96f24e7067886f3c07030895be6199378c93480 (
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
|
## Hrishi Hiraskar
## 31 August 2016
import gevent
import time
from gevent import monkey
from gevent.pywsgi import WSGIServer
from flask import Flask, request, Response, render_template
monkey.patch_all()
app = Flask(__name__)
def event_stream():
# Open the log file
log_dir = "../../bin/" # Log file directory
log_name = "scilab-log-0.txt" # Log file name
logfile = open(log_dir + log_name, "r")
# Seek file pointer to the end of file
logfile.seek(0,2)
# Start sending log
LOOK_DELAY = 0.01 # Delay time to look for new line (in s)
while 1:
line = logfile.readline()
if not line:
# If no new line is found
# Wait for some time and continue
gevent.sleep(LOOK_DELAY)
continue
print(line)
yield "event: log\ndata: "+line+"\n\n";
@app.route('/SendLog')
def sse_request():
# Set response method to event-stream
return Response(event_stream(), mimetype='text/event-stream')
@app.route('/')
def page():
return render_template('index.html')
if __name__ == '__main__':
# Set server address 127.0.0.1:8001/
http_server = WSGIServer(('127.0.0.1', 8001), app)
http_server.serve_forever()
|
