From 15a805c00dc8e11f90053e178ae2246bc55c94c1 Mon Sep 17 00:00:00 2001
From: Jason Volk <jason@zemos.net>
Date: Mon, 18 Feb 2019 13:41:21 -0800
Subject: [PATCH] modules/console: Add user device cmd.

---
 modules/console.cc | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)

diff --git a/modules/console.cc b/modules/console.cc
index 772d5c1ee..79803eeea 100644
--- a/modules/console.cc
+++ b/modules/console.cc
@@ -8925,6 +8925,48 @@ console_cmd__user__tokens(opt &out, const string_view &line)
 	return true;
 }
 
+bool
+console_cmd__user__device(opt &out, const string_view &line)
+{
+	const params param{line, " ",
+	{
+		"user_id", "device_id"
+	}};
+
+	const m::user::id &user_id
+	{
+		param.at("user_id")
+	};
+
+	const string_view &device_id
+	{
+		param.at("device_id", string_view{})
+	};
+
+	const m::user::room user_room
+	{
+		user_id
+	};
+
+	const m::room::state state
+	{
+		user_room
+	};
+
+	if(!device_id)
+	{
+		state.for_each("ircd.device", [&out]
+		(const m::event &event)
+		{
+			out << at<"state_key"_>(event) << std::endl;
+		});
+
+		return true;
+	}
+
+	return true;
+}
+
 //
 // users
 //