📄 jdbcserverstate.java
字号:
// JdbcServerState.java// $Id: JdbcServerState.java,v 1.6 2001/01/22 16:34:53 ylafon Exp $// (c) COPYRIGHT MIT, INRIA and Keio, 1999.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.tools.jdbc;import java.util.Vector;class JdbcServerState { JdbcServer server = null; Vector conns = null; private static final boolean debug = false; final JdbcServer getServer() { return server; } synchronized void registerConnection(JdbcConnection conn) { if ( conns == null ) { conns = new Vector(4); } conns.addElement(conn); } synchronized void deleteConnection(JdbcConnection conn) { if ( conns != null ) { conns.removeElement(conn); } } synchronized void unregisterConnection(JdbcConnection conn) { if ( conns != null ) { conns.removeElement(conn); } } synchronized JdbcConnection getConnection() { if ((conns != null) && (conns.size() > 0)) { if (debug) { System.out.println("+++ GetConnection out of " + conns.size()); } JdbcConnection conn = (JdbcConnection) conns.elementAt(0); conns.removeElementAt(0); return conn; } return null; } JdbcServerState(JdbcServer server) { this.server = server; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -