prova detta, det borde fungera.
PROCEDURE Delete_Timer IS tm_id TIMER; BEGIN tm_id:=Find_Timer('TIMER1'); IF NOT Id_Null(tm_id) THEN Delete_Timer(tm_id); ELSE Message('Timer '||' has already been cancelled.'); END IF; END;
prova detta, det borde fungera.
PROCEDURE Delete_Timer IS tm_id TIMER; BEGIN tm_id:=Find_Timer('TIMER1'); IF NOT Id_Null(tm_id) THEN Delete_Timer(tm_id); ELSE Message('Timer '||' has already been cancelled.'); END IF; END;