Fix preloading resources on Windows

We always pass paths like javascript/scroll.js no matter what the underlying OS
is, so we also need to cache it with a / separator.
This commit is contained in:
Florian Bruhin 2018-03-05 18:08:51 +01:00
parent a796d1f33f
commit 4da8af0e1d

View File

@ -147,7 +147,7 @@ def preload_resources():
for subdir, pattern in [('html', '*.html'), ('javascript', '*.js')]:
path = resource_filename(subdir)
for full_path in glob.glob(os.path.join(path, pattern)):
sub_path = os.path.join(subdir, os.path.basename(full_path))
sub_path = '/'.join([subdir, os.path.basename(full_path)])
_resource_cache[sub_path] = read_file(sub_path)