# HG changeset patch
# User Jonas Schäfer <jonas@wielicki.name>
# Date 1731744731 -3600
# Node ID 2fb4ce1311315865ac0c5c476376b5b3a414664d
# Parent  93304fd878b2fc7a0ce695ce35bcf161cb482697
mod_roster: do not store number in attribute

Attributes are strings. That definitely is a number. So we
tostring() it. This is important when the API becomes stricter,
for whatever reason that might happen.

Practically, this moves the overhead of converting to a string
to a place where it is visible.

diff -r 93304fd878b2 -r 2fb4ce131131 plugins/mod_roster.lua
--- a/plugins/mod_roster.lua	Sat Nov 16 14:35:36 2024 +0100
+++ b/plugins/mod_roster.lua	Sat Nov 16 09:12:11 2024 +0100
@@ -56,7 +56,7 @@
 					roster:up(); -- move out from item
 				end
 			end
-			roster.tags[1].attr.ver = server_ver;
+			roster.tags[1].attr.ver = tostring(server_ver);
 		end
 		session.send(roster);
 		session.interested = true; -- resource is interested in roster updates