Little fix about ORe

[Marc CHALAND]

Hi,

I've found that when an ORe client finishes, ORe doesn't stop
associated worker thread. Context is correctly freed but not thread.
This may lead a lack of thread when several clients finishes and
restart several times. Here is a little patch to fix this.

Regards
Marc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ore.r238.071206.patch
Type: application/octet-stream
Size: 496 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20071207/f9dd372a/attachment.obj>