version 1.4, 2013/10/10 12:02:55 |
version 1.5, 2014/09/01 21:50:18 |
|
|
|
|
if (!wc->locked) { |
if (!wc->locked) { |
RB_REMOVE(wait_channels, &wait_channels, wc); |
RB_REMOVE(wait_channels, &wait_channels, wc); |
free((void*) wc->name); |
free((void *)wc->name); |
free(wc); |
free(wc); |
} |
} |
|
|
|
|
wc->locked = 0; |
wc->locked = 0; |
if (TAILQ_EMPTY(&wc->waiters)) { |
if (TAILQ_EMPTY(&wc->waiters)) { |
RB_REMOVE(wait_channels, &wait_channels, wc); |
RB_REMOVE(wait_channels, &wait_channels, wc); |
free((void*) wc->name); |
free((void *)wc->name); |
free(wc); |
free(wc); |
} |
} |
} |
} |