#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[])
{
	int semid;
	if(argc != 2) {
		puts("Uso: cntrlsem <id-semaforo>");
		exit(EXIT_FAILURE);
	}
	semid = atoi(argv[1]);
	if((semctl(semid, 0, IPC_RMID)) < 0) {
		perror("semctl IPC_RMID");
		exit(EXIT_FAILURE);
	} else {
		puts("semáforo eliminado\n");
		system("ipcs -s");
	}
	exit(EXIT_SUCCESS);
}