Dead thread fix.
authorBill Williams <bill@cs.wisc.edu>
Thu, 26 Feb 2015 20:15:33 +0000 (14:15 -0600)
committerBill Williams <bill@cs.wisc.edu>
Thu, 26 Feb 2015 20:15:33 +0000 (14:15 -0600)
commit31625020bfeb6090d72d2ec4371e300710b1e8b5
treeefc31fbd068f1a8b8220a831323d45f6c84b2715
parent2608333f716f1b0b4c0d2cabf2482afec087c55f
Dead thread fix.
proccontrol/src/linux.C
proccontrol/src/procpool.C
proccontrol/src/procpool.h