📄 gigaserverconfiguration.java
字号:
package org.openspaces.webapp;import org.mortbay.jetty.Server;import org.openspaces.core.cluster.ClusterInfo;public class GigaServerConfiguration { private int _instanceId; private int _backupId; private String _schema; private int _serverPort; public GigaServerConfiguration( ) { } public GigaServerConfiguration( ClusterInfo info, Server server ) { _instanceId = info.getInstanceId(); if ( info.getBackupId() != null ) { _backupId = info.getBackupId(); } _schema =info.getSchema(); if ( server.getConnectors() != null ) { _serverPort = server.getConnectors()[0].getPort(); } } public int getServerPort() { return _serverPort; } public int getInstanceId() { return _instanceId; } public int getBackupId() { return _backupId; } public String getSchema() { return _schema; } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -