Software /
code /
prosody
File
spec/scansion/issue1121.scs @ 13134:638f627e707f
util.datamanager: Add O(1) list indexing with on-disk index
Index file contains offsets and lengths of each item() which allows
seeking directly to each item and reading it without parsing the entire
file.
Also allows tricks like binary search, assuming items have some defined
order.
We take advantage of the 1-based indexing in tables to store a magic
header in the 0 position, so that table index 1 ends up at file index 1.
author | Kim Alvefur <zash@zash.se> |
---|---|
date | Tue, 11 May 2021 02:09:56 +0200 |
parent | 12100:0b14b541fd27 |
line wrap: on
line source
# When removing roster contact, Prosody should send directed "unavailable" presence but sends global unavailable presence [Client] Romeo jid: romeo@localhost password: password [Client] Juliet jid: juliet@localhost password: password ----- Romeo connects Romeo sends <presence/> Romeo receives <presence from="${Romeo's full JID}"/> Juliet connects Juliet sends <presence/> Juliet receives <presence from="${Juliet's full JID}"/> Romeo sends <presence to="juliet@localhost" type="subscribe"/> Romeo receives <presence from="juliet@localhost" to="romeo@localhost"/> Juliet receives <presence from="romeo@localhost" to="juliet@localhost" type="subscribe"/> Juliet sends <presence to="romeo@localhost" type="subscribed"/> Romeo receives <presence from="${Juliet's full JID}" to="romeo@localhost"/> Juliet sends <presence to="romeo@localhost" type="subscribe"/> Juliet receives <presence from="romeo@localhost" to="juliet@localhost"/> Romeo receives <presence from="juliet@localhost" to="romeo@localhost" type="subscribe"/> Romeo sends <presence to="juliet@localhost" type="subscribed"/> Juliet receives <presence from="${Romeo's full JID}" to="juliet@localhost"/> Romeo receives <presence from="${Juliet's full JID}" to="romeo@localhost"/> Juliet sends <iq type="set" id="iq1"> <query xmlns="jabber:iq:roster"> <item jid="romeo@localhost" subscription="remove"/> </query> </iq> Juliet receives <iq type="result" id="iq1"/> Romeo receives <presence from="${Juliet's full JID}" to="romeo@localhost" type="unavailable"/> Romeo disconnects