# HG changeset patch # User Florian Zeitz # Date 1360021394 -3600 # Node ID 8602fffdd1dfea5591c255477a6625ca7c4b7b90 # Parent 4c30f638ff55c569d4f144266267392d07686ad3 mod_admin_adhoc: Remove a TODO, our pretty_print turns out not to be helpful after all diff -r 4c30f638ff55 -r 8602fffdd1df plugins/mod_admin_adhoc.lua --- a/plugins/mod_admin_adhoc.lua Fri Feb 08 00:27:59 2013 +0500 +++ b/plugins/mod_admin_adhoc.lua Tue Feb 05 00:43:14 2013 +0100 @@ -299,8 +299,7 @@ end end - local query_text = query:__tostring(); -- TODO: Use upcoming pretty_print() function - query_text = query_text:gsub("><", ">\n<"); + local query_text = tostring(query):gsub("><", ">\n<"); local result = get_user_roster_result_layout:form({ accountjid = user.."@"..host, roster = query_text }, "result"); result:add_child(query);