Use condition variable in stead of busy-waiting while waiting for requests to our servlet
Use condition variable in stead of busy-waiting while waiting for requests to our servlet

cwi-dis/igor,cwi-dis/igor,cwi-dis/igor