Merge pull request #2253 from jyegerlehner/snapshot_on_signal
authorRonghang Hu <huronghang@hotmail.com>
Sat, 22 Aug 2015 23:08:39 +0000 (16:08 -0700)
committerRonghang Hu <huronghang@hotmail.com>
Sat, 22 Aug 2015 23:08:39 +0000 (16:08 -0700)
Snapshot on signal


Trivial merge