walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Donate CPU: Speedup the latest report

This commit is contained in:
Daniel Marjamäki 2018-08-25 09:06:15 +02:00
parent efe40950c9
commit 48f5792ca1
1 changed files with 10 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
tools/donate-cpu-server.py
View File

@ -31,27 +31,13 @@ def fmt(a,b,c,d):
return ret return ret
def latestReport(): def latestReport(latestResults):
# Get date/time of results
allResults = []
for filename in sorted(glob.glob(os.path.expanduser('~/donated-results/*'))):
if not os.path.isfile(filename):
continue
datestr = '0000-00-00 00:00'
for line in open(filename,'rt'):
if line.startswith('2018-'):
datestr = line.strip()
break
allResults.append(datestr + '\t' + filename)
allResults.sort()
html = '<html><body>\n' html = '<html><body>\n'
html += '<h1>Latest daca@home results</h1>' html += '<h1>Latest daca@home results</h1>'
html += '<pre>\n<b>' + fmt('Package','Time','head','1.84') + '</b>\n' html += '<pre>\n<b>' + fmt('Package','Time','head','1.84') + '</b>\n'
# Write report for latest results # Write report for latest results
for res in allResults[20:]: for filename in latestResults:
filename = res[res.find('\t')+1:]
package = filename[filename.rfind('/')+1:] package = filename[filename.rfind('/')+1:]
datestr = '' datestr = ''
@ -92,6 +78,8 @@ sock.bind(server_address)
sock.listen(1) sock.listen(1)
latestResults = []
while True: while True:
# wait for a connection # wait for a connection
print('[' + strDateTime() + '] waiting for a connection') print('[' + strDateTime() + '] waiting for a connection')
@ -121,12 +109,16 @@ while True:
res = re.match(r'ftp://.*pool/main/[^/]+/([^/]+)/[^/]*tar.gz',url) res = re.match(r'ftp://.*pool/main/[^/]+/([^/]+)/[^/]*tar.gz',url)
if res and url in packages: if res and url in packages:
print('results added for package ' + res.group(1)) print('results added for package ' + res.group(1))
f = open(resultPath + '/' + res.group(1), 'wt') filename = resultPath + '/' + res.group(1)
f = open(filename, 'wt')
f.write(strDateTime() + '\n' + data[pos+1:]) f.write(strDateTime() + '\n' + data[pos+1:])
f.close() f.close()
if len(latestResults) >= 20:
latestResults = latestResults[1:]
latestResults.append(filename)
elif cmd=='GET /latest.html': elif cmd=='GET /latest.html':
print('[' + strDateTime() + '] ' + cmd) print('[' + strDateTime() + '] ' + cmd)
html = latestReport() html = latestReport(latestResults)
resp = 'HTTP/1.1 200 OK\n' resp = 'HTTP/1.1 200 OK\n'
resp += 'Connection: close\n' resp += 'Connection: close\n'
resp += 'Content-length: ' + str(len(html)) + '\n' resp += 'Content-length: ' + str(len(html)) + '\n'