get-webkit_revision.patch

   1 ---
   2  webkit/build/webkit_version.py |    9 +++++++++
   3  1 file changed, 9 insertions(+)
   4
   5 Index: src/webkit/build/webkit_version.py
   6 ===================================================================
   7 --- ./src.orig/webkit/build/webkit_version.py
   8 +++ ./src/webkit/build/webkit_version.py
   9 @@ -61,8 +61,15 @@
  10        directory=os.path.join(webkit_dir, version_file_dir),
  11        directory_regex_prior_to_src_url='webkit')
  12
  13 -  if version_info.url == None:
  14 -    version_info.url = 'Unknown URL'
  15 +  if version_info.url is None or version_info.url == 'unknown':
  16 +    # parse the DEPS file
  17 +    data = open("../../DEPS", "rb").read()
  18 +    x = re.search(r'"webkit_revision": "(\d+)",', data)
  19 +    rev = x.group(1) if x else "n-a"
  20 +    x = re.search(r'"webkit_trunk": "(.*?)",', data)
  21 +    branch = os.path.basename(x.group(1)) if x else "n-a"
  22 +    return "%s@%s" % (branch, rev)
  23 +
  24    version_info.url = version_info.url.strip('/')
  25
  26    if version_info.revision == None: