63c63
< __ehdtor ()
---
> __ehdtor (void *pTcb)
65,67c65,72
< if (eh_context_key)
< free ((void*)eh_context_key);
< eh_context_key = 0;
---
> int tid = (int) pTcb;
> void *p = (void*)taskVarGet(tid, &eh_context_key);
> if (p != (void*)-1)
> {
> if (p)
> free (p);
> taskVarSet(tid, &eh_context_key, 0);
> }
76a82,86
> /* Do this first so that the task variables are visible during the
> running of the delete hook. */
>
> taskVarInit();
>