From: Mikko Rasa <tdb@tdb.fi>
Date: Thu, 5 Feb 2015 14:19:01 +0000 (+0200)
Subject: Eliminate a possible race condition in thread termination
X-Git-Url: http://git.tdb.fi/?a=commitdiff_plain;h=ee92bee98fa084645b17f65cebe4eabf70e4dee9;hp=ee92bee98fa084645b17f65cebe4eabf70e4dee9;p=r2c2.git

Eliminate a possible race condition in thread termination

In the unlikely event that the thread doesn't terminate fast enough after
setting the goal pointer, deleting it would send it a kill signal.
Remove this possibility by explicitly jouning the thread.
---