code: function delThread(pid) {
      //Delete worker entry from worker
  
      delete workers[pid];
  
      //Remove pid from pid array
      var position = pids.indexOf(pid);
      if (~position) pids.splice(position, 1);
  
      //Reset array index
      pids = pids.filter(function(){return true;});
  }
docs: /*
  Delete a thread