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