Method postRestart

src/plugin/pid/virtualpidtable.cpp:130–141

}

void
VirtualPidTable::postRestart()
{
  if (_dmtcp_ppid != 1) {
    updateMapping(_dmtcp_ppid, _real_getppid());
  }

  VirtualIdTable<pid_t>::postRestart();
  _do_lock_tbl();
  _idMapTable[getpid()] = _real_getpid();
  _do_unlock_tbl();
}

void
VirtualPidTable::refresh()