125 end |
125 end |
126 session.send(string.char(0)); |
126 session.send(string.char(0)); |
127 end |
127 end |
128 |
128 |
129 function console_listener.disconnect(conn, err) |
129 function console_listener.disconnect(conn, err) |
130 |
130 local session = sessions[conn]; |
|
131 if session then |
|
132 session.disconnect(); |
|
133 sessions[conn] = nil; |
|
134 end |
131 end |
135 end |
132 |
136 |
133 connlisteners_register('console', console_listener); |
137 connlisteners_register('console', console_listener); |
134 |
138 |
135 -- Console commands -- |
139 -- Console commands -- |