tree 508e3821f109471ed067894f805ab70a32ddd676
parent 17f2909df4107b7ff829c919afc56614892d5b2d
author Jing Jin <jingjin@google.com> 1442252691 -0700
committer Jing Jin <jingjin@google.com> 1442252691 -0700

services/debug: add "json" option to "stats read".

This is to make it easy for other programs (e.g. monitoring data collector)
to read stats output.

Change-Id: Id832d8c230a04fbfc73354db8923467f657bcf5b