[09:16:16] <jynus>	 I am going to restart, the monitor is still giving me issues
[09:26:27] <Emperor>	 who owns dborch1001.wikimedia.org and does it still need rebooting for T335838
[09:27:24] <Emperor>	 uptime of 117 days suggests it does need rebooting still
[09:27:39] <Emperor>	 Amir1 / marostegui ? ^--
[09:34:20] <Amir1>	 it's us
[09:35:22] <Amir1>	 Rebooting it is not an issue, just coordinating so Manuel wouldn't be surprised 
[09:39:13] <marostegui>	 yeah fine by me
[10:01:32] <Emperor>	 OK, I'll go reboot it
[10:02:07] <Amir1>	 thanks!
[13:35:33] <Amir1>	 marostegui: sorry but I need to double check this. Regarding https://phabricator.wikimedia.org/T341121, there are many users on the IP of the decomissioned dbproxy, not just "haproxy" user (e.g. https://phabricator.wikimedia.org/T341121#9003276). Should I drop all of them? if the IP doesn't point to anything anymore, there is no point for having any user there
[13:37:21] <marostegui>	 Yeah, if the dbproxy is gone, it should be safe to drop them too
[13:37:35] <marostegui>	 Amir1: Get a backup of them just in case
[13:37:51] <Amir1>	 sure. Thanks