pseudoserver functions now consistent
pseudocode now uses condition variable