if (el == null)
return false;
- requests.delete_link(el);
+ --el.data.count;
+ if (el.data.count == 0)
+ requests.delete_link(el);
if (requests != null)
return false;
protected void on_child(Pid pid, int status)
{
zavai.log.info("Exited");
-stderr.printf("STATUS %d\n", status);
Process.close_pid(pid);
try {