| commit | 5830247c351a1c40f37666584d6c390f32c31957 | [log] [tgz] |
|---|---|---|
| author | Vladimir Marko <vmarko@google.com> | Tue Oct 21 09:18:53 2014 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Oct 21 09:18:53 2014 +0000 |
| tree | ff3f68eb1e51d3f68a95b2cf5cea5e686221e566 | |
| parent | 92cf9ae2d171b7c315f622f368e2bca53a492391 [diff] | |
| parent | 2beeb82523bd3b8015851b69ccd088553ec0c226 [diff] |
Merge "Shut down FaultManager after shutting down threads."