author Chris Pearce <chris@pearce.org.nz>
Fri, 13 Jan 2012 12:19:49 +1300
changeset 84068 e78e431b2354f897e83af7d3bf3c4b4e0323d293
parent 20814 6a2e65f15f480c149f478ac92d5c515f37c28df9
child 96742 f4157e8c410708d76703f19e4dfb61859bfe32d8
permissions -rw-r--r--
Bug 713381 - Backout 34e3a0cb25a4 and 8eb1a29b4aa0 (bug 691096) to fix null-pointer deref. a=akeybl

#!/usr/bin/env python

Fix references to source files of the form [LOCpath]
so that they are relative to a given source directory.

Substitute the DOT-generated image map into the document.

import os, sys, re

(srcdir, ) = sys.argv[1:]
srcdir = os.path.realpath(srcdir)

f = re.compile(r'\[LOC(.*?)\]')

def replacer(m):
    file = m.group(1)
    file = os.path.realpath(file)
    if not file.startswith(srcdir):
        raise Exception("File %s doesn't start with %s" % (file, srcdir))

    file = file[len(srcdir) + 1:]
    return file

s = re.compile(r'\[MAP(.*?)\]')

def mapreplace(m):
    file = m.group(1)
    c = open(file).read()
    return c

for line in sys.stdin:
    line = f.sub(replacer, line)
    line = s.sub(mapreplace, line)