| Index: runtime/tools/create_resources.py
|
| diff --git a/runtime/tools/create_resources.py b/runtime/tools/create_resources.py
|
| index 255ef92abacdaf7bc5e7bb87b23640979d02d4f7..d55f4ee996b5543f1df45643955b4e31f5d67ff5 100644
|
| --- a/runtime/tools/create_resources.py
|
| +++ b/runtime/tools/create_resources.py
|
| @@ -40,8 +40,9 @@ 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)
|
| 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
|
|
|