Teach the system to shutdown semantics (#4811)
We now stop updating semantics when there are no remaining clients.
A
Adam Barth committed
839def55baacfde8aa0dc6a3e5fd1e63d446cedd
Parent: cbf7d98
Committed by GitHub <noreply@github.com>
on 7/2/2016, 12:57:10 AM