doc/session.txt
changeset 7538 4a3a3098d9bb
parent 199 eccf66b42bd7
child 8731 41c959c5c84b
--- a/doc/session.txt	Fri Jul 29 14:58:42 2016 +0100
+++ b/doc/session.txt	Wed Aug 03 19:22:01 2016 +0200
@@ -20,7 +20,7 @@
 	
 	-- methods --
 	send(x) -- converts x to a string, and writes it to the connection
-	disconnect(x) -- Disconnect the user and clean up the session, best call sessionmanager.destroy_session() instead of this in most cases
+	close(x) -- Disconnect the user and clean up the session, best call sessionmanager.destroy_session() instead of this in most cases
 }
 
 if session.full_jid (also session.roster and session.resource) then this is a "connected resource"