Index: runtime/tools/create_resources.py |
diff --git a/runtime/tools/create_resources.py b/runtime/tools/create_resources.py |
index b4f7fa8d4a5ce044f546d86ae6a2a8816e403196..e5503be51aeefc6640475fd80648eed4300cdb82 100644 |
--- a/runtime/tools/create_resources.py |
+++ b/runtime/tools/create_resources.py |
@@ -40,7 +40,7 @@ def makeResources(root_dir, input_files, table_name): |
if lineCounter != 0: |
result += '\n ' |
result += ' 0\n};\n\n' |
- resource_url_scrubbed = re.sub(r'\\', '', resource_url) |
+ resource_url_scrubbed = re.sub(r'\\', '/', resource_url) |
resources.append( |
(resource_url_scrubbed, resource_name, os.stat(resource_file).st_size)); |