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
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
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