userNameToFileName: add str annotation for userName

This commit is contained in:
Nikolaus Waxweiler 2019-09-14 22:26:48 +01:00
parent cf2fd0671b
commit 473cf5e0c6

View File

@ -15,7 +15,7 @@ class NameTranslationError(Exception):
pass
def userNameToFileName(userName, existing=[], prefix="", suffix=""):
def userNameToFileName(userName: str, existing=[], prefix="", suffix=""):
"""
existing should be a case-insensitive list
of all existing file names.