mirror of
https://github.com/servo/servo.git
synced 2025-07-02 21:13:39 +01:00
47 lines
1.4 KiB
Python
47 lines
1.4 KiB
Python
import json
|
|
import os
|
|
import subprocess
|
|
import time
|
|
import urllib2
|
|
|
|
|
|
class WPTServer(object):
|
|
|
|
def __init__(self, wpt_root):
|
|
self.wpt_root = wpt_root
|
|
config_file = os.path.join(wpt_root, 'config.default.json')
|
|
with open(config_file, 'rb') as config_handle:
|
|
config = json.load(config_handle)
|
|
self.host = config["browser_host"]
|
|
self.http_port = config["ports"]["http"][0]
|
|
self.https_port = config["ports"]["https"][0]
|
|
self.base_url = 'http://%s:%s' % (self.host, self.http_port)
|
|
self.https_base_url = 'https://%s:%s' % (self.host, self.https_port)
|
|
|
|
def start(self):
|
|
self.devnull = open(os.devnull, 'w')
|
|
self.proc = subprocess.Popen(
|
|
[os.path.join(self.wpt_root, 'wpt'), 'serve'],
|
|
stderr=self.devnull,
|
|
cwd=self.wpt_root)
|
|
|
|
for retry in range(5):
|
|
# Exponential backoff.
|
|
time.sleep(2 ** retry)
|
|
if self.proc.poll() != None:
|
|
break
|
|
try:
|
|
urllib2.urlopen(self.base_url, timeout=1)
|
|
return
|
|
except urllib2.URLError:
|
|
pass
|
|
|
|
raise Exception('Could not start wptserve.')
|
|
|
|
def stop(self):
|
|
self.proc.terminate()
|
|
self.proc.wait()
|
|
self.devnull.close()
|
|
|
|
def url(self, abs_path):
|
|
return self.https_base_url + '/' + os.path.relpath(abs_path, self.wpt_root)
|