Some python tools used with tornado for server information