index.php: Generate json.txt if file is empty
authorFranklin S Cooper Jr <fcooper@ti.com>
Fri, 7 Feb 2014 21:15:34 +0000 (15:15 -0600)
committerFranklin S Cooper Jr <fcooper@ti.com>
Fri, 7 Feb 2014 21:15:34 +0000 (15:15 -0600)
commitd0fcc5ab50c9ecdf7a3cc5610807d16a6c91a850
treefda93f8b75ddba191d987739fa17daeb8902a741
parenta67a9721134fcbf9017d2dd361079f67b10b0ace
index.php: Generate json.txt if file is empty

* There are situations where json.txt exist but is empty if a proper board
  shutdown or reboot isn't done resulting in a blank json.txt.
* Check if json.txt is empty and if so force it to be regenerated.

Signed-off-by: Franklin S Cooper Jr <fcooper@ti.com>
index.php