nemunaire/nemubot
1
0
Fork 0
Code Releases Activity

IRC server: differentiate nick and username

Browse source
This commit is contained in:
nemunaire 2014-11-02 18:31:53 +01:00
commit 8dfd0f07cc
2 changed files with 9 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
prompt/builtins.py
View file

@ -78,7 +78,7 @@ def load_file(filename, context):
}
# Optional keyword arguments
for optional_opt in [ "port", "realname", "password", "encoding", "caps" ]:
for optional_opt in [ "port", "username", "realname", "password", "encoding", "caps" ]:
if server.hasAttribute(optional_opt):
opts[optional_opt] = server[optional_opt]
elif optional_opt in config: