commit | 8c3da5c2c538e05d66391dd036ccbc91214d4bc5 | [log] [tgz] |
---|---|---|
author | Damien <damien.p.george@gmail.com> | Tue Dec 17 18:36:19 2013 +0000 |
committer | Damien <damien.p.george@gmail.com> | Tue Dec 17 18:36:19 2013 +0000 |
tree | f5fb8f7d3bba31883cddc8917fe67703e1a45b29 | |
parent | 0f08267fa43b3abe9add4ab9ff5822a273fbeba1 [diff] |
stm: flush storage cache immediately; improve user interface.