improve termination detection for concurrent servers