next_p = p->next;
for (j=0; j<p->count; j++) {
if (p->storage[j]) {
+#if MBO_0
if (resource_types_table && resource_types_table[j].dtor) {
resource_types_table[j].dtor(p->storage[j], &p->storage);
}
+#endif
free(p->storage[j]);
}
}
/* deallocates all occurrences of a given id */
void ts_free_id(ts_rsrc_id id)
{
+#if MBO_0
int i;
int j = TSRM_UNSHUFFLE_RSRC_ID(id);
tsrm_mutex_unlock(tsmm_mutex);
TSRM_ERROR((TSRM_ERROR_LEVEL_CORE, "Successfully freed resource id %d", id));
+#endif
}