org.h2.server.web.WebServer.saveCommandHistoryList()方法的使用及代码示例

x33g5p2x  于2022-02-03 转载在 其他  
字(1.7k)|赞(0)|评价(0)|浏览(103)

本文整理了Java中org.h2.server.web.WebServer.saveCommandHistoryList()方法的一些代码示例,展示了WebServer.saveCommandHistoryList()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。WebServer.saveCommandHistoryList()方法的具体详情如下:
包路径:org.h2.server.web.WebServer
类名称:WebServer
方法名:saveCommandHistoryList

WebServer.saveCommandHistoryList介绍

[英]Save the command history to the properties file.
[中]将命令历史记录保存到属性文件中。

代码示例

代码示例来源:origin: com.h2database/h2

/**
 * Add a SQL statement to the history.
 *
 * @param sql the SQL statement
 */
void addCommand(String sql) {
  if (sql == null) {
    return;
  }
  sql = sql.trim();
  if (sql.length() == 0) {
    return;
  }
  if (commandHistory.size() > MAX_HISTORY) {
    commandHistory.remove(0);
  }
  int idx = commandHistory.indexOf(sql);
  if (idx >= 0) {
    commandHistory.remove(idx);
  }
  commandHistory.add(sql);
  if (server.isCommandHistoryAllowed()) {
    server.saveCommandHistoryList(commandHistory);
  }
}

代码示例来源:origin: org.wowtools/h2

/**
 * Add a SQL statement to the history.
 *
 * @param sql the SQL statement
 */
void addCommand(String sql) {
  if (sql == null) {
    return;
  }
  sql = sql.trim();
  if (sql.length() == 0) {
    return;
  }
  if (commandHistory.size() > MAX_HISTORY) {
    commandHistory.remove(0);
  }
  int idx = commandHistory.indexOf(sql);
  if (idx >= 0) {
    commandHistory.remove(idx);
  }
  commandHistory.add(sql);
  if (server.isCommandHistoryAllowed()) {
    server.saveCommandHistoryList(commandHistory);
  }
}

代码示例来源:origin: com.eventsourcing/h2

/**
 * Add a SQL statement to the history.
 *
 * @param sql the SQL statement
 */
void addCommand(String sql) {
  if (sql == null) {
    return;
  }
  sql = sql.trim();
  if (sql.length() == 0) {
    return;
  }
  if (commandHistory.size() > MAX_HISTORY) {
    commandHistory.remove(0);
  }
  int idx = commandHistory.indexOf(sql);
  if (idx >= 0) {
    commandHistory.remove(idx);
  }
  commandHistory.add(sql);
  if (server.isCommandHistoryAllowed()) {
    server.saveCommandHistoryList(commandHistory);
  }
}

相关文章