Support dashes in usernames

This commit is contained in:
j-james 2021-01-03 02:31:22 -08:00 committed by Dominik Picheta
commit 6c6552176a

View file

@ -5,7 +5,7 @@ from times import getTime, utc, format
# Used to be:
# {'A'..'Z', 'a'..'z', '0'..'9', '_', '\128'..'\255'}
let
UsernameIdent* = IdentChars # TODO: Double check that everyone follows this.
UsernameIdent* = IdentChars + {'-'} # TODO: Double check that everyone follows this.
import frontend/[karaxutils, error]
export parseInt