Take into account the file system encoding.

This commit is contained in:
Enrico Forestieri 2015-05-17 18:02:47 +02:00
parent 55417b50da
commit a0afd3459f

View File

@ -1026,6 +1026,8 @@ def convert_origin(document):
origin = "stdin"
else:
origin = document.dir.replace('\\', '/')
if os.name != 'nt':
origin = unicode(origin, sys.getfilesystemencoding())
document.header[i:i] = ["\\origin " + origin]