tree df4815c7cf560022e23313025a5bed581dd1536c
parent c1a933312395047b929a5d3d4d47edb719214e75
author Yukai Tu <ytu@cs.ucla.edu> 1492197183 -0700
committer Yukai Tu <ytu@cs.ucla.edu> 1492727247 -0700

Fix restart Segment Fault bug

Change-Id: I09891273dd9a3acd5ce396dbd890e08034dca9d7