Adam Barth 839def55ba Teach the system to shutdown semantics (#4811)
We now stop updating semantics when there are no remaining clients.
2016-07-01 17:57:10 -07:00
..
2016-06-20 21:04:45 -07:00
2016-06-20 21:04:45 -07:00