code: public void unexport_server(Database database, String deviceName)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          DeviceData argIn = new DeviceData();
          argIn.insert(deviceName);
          command_inout(database, "DbUnExportServer", argIn);
      }
docs: ==========================================================================