520521522523524525526527528529530
}; // two-way link to new owner EInternalPID caller_pid = caller.testInternalPID(); if (caller_pid != null) { caller_pid.task().link_oneway(driver.self_handle()); driver.link_oneway(caller_pid); } ERT.run(driver); return copy;
919293949596979899100101
} // TODO: what if port or pid args are already dead? iport.set_owner(ipid); ipid.task().link_to(iport); return ERT.TRUE; }