Function set_worker_pids

apps/backend/shared.js:14–16

(pids)

}

function set_worker_pids(pids) {
  process_sync_worker_pids = pids;
}

function add_worker_pid(pid) {
  process_sync_worker_pids.push(pid);