# HG changeset patch
# User Florian Zeitz <florob@babelmonkeys.de>
# 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);