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