chris 965ee0f3d2 Don't call pthread_join a second time if it has already been called.		2004-05-21 07:02:23 +00:00
asio	Don't call pthread_join a second time if it has already been called.	2004-05-21 07:02:23 +00:00