tree 6edd37c406ab088843f47cc5be4596c17d714e30
parent aaff72d860412c88aaec5948f82f81083b15c3da
author Pei Li <lpgdsxyz@gmail.com> 1384973675 -0800
committer Pei Li <lpgdsxyz@gmail.com> 1384973675 -0800

recover_after_abort added