[Turn off line numbering]1: arg type; 2: 3: if ((| semaphores[type] == task_id() |)) 4: semaphores = dict_del(semaphores, type); 5: if (!semaphores) 6: clear_var('semaphores); 7: 8: // $#Edited: 13 Nov 97 04:54 $miro
["// Created as a part of ColdCore, see: @help Credit"]