-if width:
- lines = []
- while filename:
- lines.append("%s%s%s" % (spaces, filename[:width], spaces))
- filename = filename[width:]
- filename = u'\n'.join(lines)
-else:
- filename = u"%s%s%s" % (spaces, filename, spaces)
-
-sys.stdout.write(filename.encode(default_encoding))
-
-if print0:
- sys.stdout.write('\0')
-elif newline:
- print