commit 7be4efae70223bce39026600277684663a6f109a
author ricow@google.com <ricow@google.com> Wed Feb 12 19:02:09 2014 +0000
committer ricow@google.com <ricow@google.com> Wed May 27 13:31:38 2015 -0700
tree be0cea49cc9f9df89bae89b6b1492772a36f8ea0
parent 78c9b6f94de6b98ec9c47684acd9c7edb6ecd694

Version 1.2.0-dev.5.1

svn merge -c 32609 https://dart.googlecode.com/svn/branches/bleeding_edge trunk

git-svn-id: http://dart.googlecode.com/svn/trunk@32613 260f80e4-7a28-3924-810f-c04153c831b5

runtime/tools/create_resources.py

diff --git a/runtime/tools/create_resources.py b/runtime/tools/create_resources.py
index 255ef92..d55f4ee 100644
--- a/runtime/tools/create_resources.py
+++ b/runtime/tools/create_resources.py
@@ -40,8 +40,9 @@
     if lineCounter != 0:
       result += '\n   '
     result += ' 0\n};\n\n'
+    resource_url_scrubbed = re.sub(r'\\', '', resource_url)
     resources.append(
-        (resource_url, resource_name, os.stat(resource_file).st_size) );
+        (resource_url_scrubbed, resource_name, os.stat(resource_file).st_size));
 
   # Write the resource table.
   result += 'ResourcesEntry __%s_resources_[] = ' % table_name

tools/VERSION

diff --git a/tools/VERSION b/tools/VERSION
index c1f1325..8a14351 100644
--- a/tools/VERSION
+++ b/tools/VERSION
@@ -28,4 +28,4 @@
 MINOR 2
 PATCH 0
 PRERELEASE 5
-PRERELEASE_PATCH 0
+PRERELEASE_PATCH 1