void destruir_mundo ()
{
int i;
char *nome;
int max_digitos;
sharedDestroy ("shm.pesca-mundo", mundo, sizeof (Mundo));
max_digitos = log (num_barcos) / log (10) + 1;
nome = malloc (strlen ("pesca-barco") + max_digitos + 1);
semDestroy(*nome, *sem_barcos);
free (nome);
max_digitos = log (num_cardumes) / log (10) + 1;
nome = malloc (strlen ("pesca-cardume") + max_digitos + 1);
semDestroy(*nome, *sem_cardumes);
free (nome);
nome = malloc (strlen ("pesca-mutex") );
semDestroy(*nome, *sem_mutex);
free (nome);
}
STATUS semDelete
(
SEM_ID semId /* semaphore ID to delete */
)
{
return (semDestroy (semId, TRUE));
}
STATUS semDelete(
SEM_ID semId
)
{
return semDestroy(semId, TRUE);
}
STATUS semTerminate(
SEM_ID semId
)
{
return semDestroy(semId, FALSE);
}
STATUS semTerminal(SEM_ID semId)
{
return (semDestroy(semId, FALSE));
}
