Function get_worker_pids

apps/backend/shared.js:10–12

()

let process_sync_worker_pids = [];

function get_worker_pids() {
  return process_sync_worker_pids;
}

function set_worker_pids(pids) {
  process_sync_worker_pids = pids;