tree 97b3fe821bfc0d7b9a1e3c35f170edaa64965966
parent 1fa0c0881fe7a80d64a23df46f5f0da2f7ff4a56
parent 74c14e5ac752edc7e1dc0aaf31abfd1153df1d0a
author Yang Gao <yangg@google.com> 1428078871 -0700
committer Yang Gao <yangg@google.com> 1428078871 -0700

Merge pull request #1180 from vjpai/perf-0402

Trace and trim locks, properly handle SIGINT