Server semaphores almost done.