code: public DbServInfo get_server_info(Database database, String serverName) throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          //	Query info from database
          DeviceData argIn = new DeviceData();
          argIn.insert(serverName);
          DeviceData argOut = command_inout(database, "DbGetServerInfo", argIn);
          String[] info = argOut.extractStringArray();
          return new DbServInfo(info);
      }
docs: ==========================================================================