import py
redir = py.path.local(__file__).dirpath('redirections')
def checkexist(path):
print "checking", path
assert path.ext == '.html'
assert path.new(ext='.txt').check(file=1)
def checkredirection(oldname, newname):
print "checking", newname
if not newname.startswith('http://'):
newpath = redir.dirpath(newname.split('#')[0])
checkexist(newpath)
# HACK: create the redirecting HTML file here...
# XXX obscure fishing
if py.test.config.option.generateredirections and '#' not in oldname:
generate_redirection(oldname, newname)
def test_eval():
d = eval(redir.read(mode='r'))
return d
def test_redirections():
d = test_eval()
for oldname, newname in d.items():
yield checkredirection, oldname, newname
def test_navlist():
navlist = eval(redir.dirpath('navlist').read())
for entry in navlist:
yield checkexist, redir.dirpath(entry)
# ____________________________________________________________
def generate_redirection(oldname, newname):
print "redirecting from", oldname
oldpath = redir.dirpath(oldname)
url = newname # relative URL
oldpath.write("""
you should be automatically redirected to
%s
""" % (url, url, url))