From: Ben Pfaff Date: Wed, 22 Sep 2004 00:28:00 +0000 (+0000) Subject: thread_join() the -ex process if THREAD_JOIN_IMPLEMENTED. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=24445a35e861ddb50df05731ca4635fbd36e04a4;hp=24445a35e861ddb50df05731ca4635fbd36e04a4;p=pintos-anon thread_join() the -ex process if THREAD_JOIN_IMPLEMENTED. ---