Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- import re
- import os
- paths = [
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-constructor-url-bogus.htm",
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-onmesage.htm",
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-eventtarget.htm",
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-onopen.htm",
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-close.htm",
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-url.htm",
- "testing/web-platform/tests/eventsource/shared-worker/eventsource-prototype.htm",
- "testing/web-platform/tests/eventsource/dedicated-worker/eventsource-constructor-url-bogus.htm",
- "testing/web-platform/tests/eventsource/dedicated-worker/eventsource-onopen.htm",
- # .... rg -F "Worker('"
- ]
- for path in paths:
- print path
- path = "/home/tom/projects/central/" + path
- f = open(path)
- data = f.read()
- before, after = re.split("\<\!doctype html\>", data, 0, re.I)
- javascript = before.strip().strip("<>!-\n/*")
- html = "<!doctype html>" + after.split("<!--")[0].rstrip()
- new = re.sub("\.html?", ".js", path)
- html = html.replace("Worker('#')", "Worker('" + os.path.basename(new) + "')")
- open(path, "w").write(html)
- print new
- assert not os.path.exists(new)
- open(new, "w").write(javascript)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement