message: Replace StaticDeviceMgr with DynamicDeviceMgr in worker_env.
diff: @@ -190,7 +190,7 @@ Status GrpcServer::Init(const GrpcServerOptions& opts) {
  std::vector<std::unique_ptr<Device>> devices;
  TF_RETURN_IF_ERROR(
  DeviceFactory::AddDevices(sess_opts, name_prefix, &devices));
  - worker_env_.device_mgr = new StaticDeviceMgr(std::move(devices));
  + worker_env_.device_mgr = new DynamicDeviceMgr(std::move(devices));
  owned_device_manager_.reset(worker_env_.device_mgr);
  } else {
  worker_env_.device_mgr = opts.local_device_mgr;
  