Revision 2bf272da501545466a93ae215bad44e772c7f74b authored by Matt Wolenetz on 30 August 2016, 20:34:58 UTC, committed by Matt Wolenetz on 30 August 2016, 20:34:58 UTC
This merge effectively reverts the formatting change in a2d73b12, since mediasource-util.js's media_test now auto-creates any missing document.body. This merge also retains adjusted versions of the tests around updating the live seekable ranges when updating is true; these tests now verify that such behavior is allowed (see w3c/media-source/#118).
lint
#!/usr/bin/env python
import sys
try:
from tools.lint import lint
except ImportError:
print("tools.lint not found. Did you forget to run "
'"git submodule update --init --recursive"?')
sys.exit(2)
sys.exit(0 if lint.main() == 0 else 1)
Computing file changes ...
