| commit | 68c46fd8dd88b906cf064f0d8d0408d4f60e2a4d | [log] [tgz] |
|---|---|---|
| author | Jeff Davidson <jpd@google.com> | Fri May 09 15:51:34 2014 -0700 |
| committer | Jeff Davidson <jpd@google.com> | Fri May 09 15:51:34 2014 -0700 |
| tree | 4317267bd2ebc509e1421a44f1a0ba05b03f7a6b | |
| parent | 1d0861dd6c9e2d48a60680bc1ba2bd274dbf07b6 [diff] |
Flush dump output before calling score cache dump() methods. Change-Id: I2a28bd90583e34710c2d0ac8b31f16b8a22c165d