Skip to main content

◆ updateHostManagerPort()

void gpudb::GPUdb::updateHostManagerPort ()

Update the host manager port by inquiring the server.