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