[REF] extras: move benchmarks and playground into extras

closes #76
closes #73
This commit is contained in:
Géry Debongnie
2019-05-03 10:33:22 +02:00
parent 4e982f5460
commit e060130655
49 changed files with 38504 additions and 27 deletions
+20
View File
@@ -0,0 +1,20 @@
import sys
import thread
import webbrowser
import time
import BaseHTTPServer, SimpleHTTPServer
def start_server():
httpd = BaseHTTPServer.HTTPServer(('127.0.0.1', 3600), SimpleHTTPServer.SimpleHTTPRequestHandler)
httpd.serve_forever()
thread.start_new_thread(start_server,())
url = 'http://127.0.0.1:3600/extras'
webbrowser.open_new(url)
while True:
try:
time.sleep(1)
except KeyboardInterrupt:
sys.exit(0)