# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1536851681 -3600
# Node ID 9d8098f4b6525fc3df06a2a98976a0babffa2260
# Parent  bbf20293bc4351d9b350b413c840a7ad2b19c559
mod_http_roster_admin: Explicitly set 'id' attribute on roster pushes

diff -r bbf20293bc43 -r 9d8098f4b652 mod_http_roster_admin/mod_http_roster_admin.lua
--- a/mod_http_roster_admin/mod_http_roster_admin.lua	Wed Sep 12 18:54:49 2018 +0200
+++ b/mod_http_roster_admin/mod_http_roster_admin.lua	Thu Sep 13 16:14:41 2018 +0100
@@ -22,6 +22,8 @@
 local st = require "util.stanza";
 local array = require "util.array";
 
+local new_id = require "util.id".short;
+
 local host = module.host;
 local sessions = hosts[host].sessions;
 
@@ -30,7 +32,7 @@
 -- Send a roster push to the named user, with the given roster, for the specified
 -- contact's roster entry. Used to notify clients of changes/removals.
 local function roster_push(username, roster, contact_jid)
-	local stanza = st.iq({type="set"})
+	local stanza = st.iq({type="set", id=new_id()})
 		:tag("query", {xmlns = "jabber:iq:roster" });
 	local item = roster[contact_jid];
 	if item then