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-04-22 12:58:03 -07:00