changeset 177 | 63f33bb8fa33 |
child 178 | ccfebbd9f49b |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/TODO.txt Wed Nov 06 20:40:50 2013 -0700 @@ -0,0 +1,5 @@ +Make JID a string type, with receiver functions to get its +pieces. This way it can be used as a key in a map. + +Don't force the client to understand the RFCs. Keep message types in a +convenient set of constants, for example.