Software /
code /
verse
Annotate
plugins/session.lua @ 465:6707e3a47f71
Add 'shutdown' event for a self-initiated disconnect
author | Matthew Wild <mwild1@gmail.com> |
---|---|
date | Fri, 17 Mar 2023 09:23:15 +0000 |
parent | 395:e86144a4eaa1 |
rev | line source |
---|---|
250 | 1 local verse = require "verse"; |
2 | |
68
1789dac44823
plugins.session: Convert from Windows line endings
Matthew Wild <mwild1@gmail.com>
parents:
50
diff
changeset
|
3 local xmlns_session = "urn:ietf:params:xml:ns:xmpp-session"; |
1789dac44823
plugins.session: Convert from Windows line endings
Matthew Wild <mwild1@gmail.com>
parents:
50
diff
changeset
|
4 |
1789dac44823
plugins.session: Convert from Windows line endings
Matthew Wild <mwild1@gmail.com>
parents:
50
diff
changeset
|
5 function verse.plugins.session(stream) |
380 | 6 |
75
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
7 local function handle_features(features) |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
8 local session_feature = features:get_child("session", xmlns_session); |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
9 if session_feature and not session_feature:get_child("optional") then |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
10 local function handle_binding(jid) |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
11 stream:debug("Establishing Session..."); |
197
7e98cf2c1d8d
plugins.*: Use verse.stanza() & co instead of require util.stanza
Kim Alvefur <zash@zash.se>
parents:
78
diff
changeset
|
12 stream:send_iq(verse.iq({ type = "set" }):tag("session", {xmlns=xmlns_session}), |
75
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
13 function (reply) |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
14 if reply.attr.type == "result" then |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
15 stream:event("session-success"); |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
16 elseif reply.attr.type == "error" then |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
17 local type, condition, text = reply:get_error(); |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
18 stream:event("session-failure", { error = condition, text = text, type = type }); |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
19 end |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
20 end); |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
21 return true; |
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
22 end |
78
f4188eff53a7
verse.client, verse.plugins.bind, verse.plugins.session: Rename binding-success and binding-failure to bind-success and bind-failure for consistency
Matthew Wild <mwild1@gmail.com>
parents:
75
diff
changeset
|
23 stream:hook("bind-success", handle_binding); |
75
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
24 end |
73
b416751df2ca
verse.plugins.session: Convert from spaces to tabs
Matthew Wild <mwild1@gmail.com>
parents:
68
diff
changeset
|
25 end |
75
f5ac4e39e84f
verse.plugins.session: Only negotiate session when support is advertised by the server, and not marked as optional (saves a round-trip in a lot of cases)
Matthew Wild <mwild1@gmail.com>
parents:
73
diff
changeset
|
26 stream:hook("stream-features", handle_features); |
380 | 27 |
73
b416751df2ca
verse.plugins.session: Convert from spaces to tabs
Matthew Wild <mwild1@gmail.com>
parents:
68
diff
changeset
|
28 return true; |
68
1789dac44823
plugins.session: Convert from Windows line endings
Matthew Wild <mwild1@gmail.com>
parents:
50
diff
changeset
|
29 end |