tree 9932ed305d2811eabde6abe8ae5eec463af18f9a
parent 5204349182e8a52614d88dbdbab148533904a4cf
author Yingyi Bu <yingyib@dhcp-v208-074.vp.reshsg.uci.edu> 1383851027 -0800
committer Yingyi Bu <yingyib@dhcp-v208-074.vp.reshsg.uci.edu> 1383851027 -0800

fix the pinned page issue during a node failure