User talk:Daveh/Dev Guide

Information Request

Something I'd like to see on this page are the IP addresses of the various servers. Often, I'll see the 10.2.212.* address somewhere, and can only figure out which one's which from context. Alternatively, if there's a command that'll show all our servers' addresses, that works too. – Robin Hood  ^(talk) 21:32, 16 February 2013 (GMT)