comparison Resources/EmbedResources.py @ 20:a56b6a8b89ba

fix for windows
author jodogne
date Tue, 24 Jul 2012 10:44:19 +0200
parents 3959d33612cc
children e1a3ae0dadf3
comparison
equal deleted inserted replaced
19:e85455ff6039 20:a56b6a8b89ba
44 if base == '.': 44 if base == '.':
45 r = f.lower() 45 r = f.lower()
46 else: 46 else:
47 r = os.path.join(base, f).lower() 47 r = os.path.join(base, f).lower()
48 48
49 r = '/' + r 49 r = '/' + r.replace('\\', '/')
50 if r in content: 50 if r in content:
51 raise Exception("Twice the same filename (check case): " + r) 51 raise Exception("Twice the same filename (check case): " + r)
52 52
53 content[r] = { 53 content[r] = {
54 'Filename' : os.path.join(root, f), 54 'Filename' : os.path.join(root, f),