33 def userNameToFileName(userName, existing=[], prefix="", suffix=""):  argument
43 		suffix: Suffix to be appended to the file name.
101 	# establish the prefix and suffix lengths
103 	suffixLength = len(suffix)
130 	fullName = prefix + userName + suffix
132 		fullName = handleClash1(userName, existing, prefix, suffix)
136 def handleClash1(userName, existing=[], prefix="", suffix=""):  argument
142 	>>> suffix = "." + ("0" * 10)
147 	...		prefix=prefix, suffix=suffix) == (
152 	>>> e.append(prefix + "aaaaa" + "1".zfill(15) + suffix)
154 	...		prefix=prefix, suffix=suffix) == (
159 	>>> e.append(prefix + "AAAAA" + "2".zfill(15) + suffix)
161 	...		prefix=prefix, suffix=suffix) == (
165 	# if the prefix length + user name length + suffix length + 15 is at
168 	suffixLength = len(suffix)
178 		fullName = prefix + name + suffix
188 		finalName = handleClash2(existing, prefix, suffix)
192 def handleClash2(existing=[], prefix="", suffix=""):  argument
198 	>>> suffix = "." + ("0" * 10)
199 	>>> existing = [prefix + str(i) + suffix for i in range(100)]
202 	>>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
207 	>>> e.remove(prefix + "1" + suffix)
208 	>>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
213 	>>> e.remove(prefix + "2" + suffix)
214 	>>> handleClash2(existing=e, prefix=prefix, suffix=suffix) == (
219 	maxLength = maxFileNameLength - len(prefix) - len(suffix)
225 		fullName = prefix + str(counter) + suffix