📄 servermonitor.java
字号:
/**
* Copyright (c) 2001
* Template File
* ServerMonitor.java.template
* IDL Object
* atmserver.ATMDemo
* Generation Date
* 2001年12月18日 上午10时23分33秒
* IDL Source File
* E:/ATMServer/src/atmserver/ATMDemo.idl
* Abstract
* Maintains the server log and is the container for all the Server Monitor pages.
* @version 1.0
*/
package atmserver.ATMDemo.server;
import java.awt.*;
import java.text.*;
public class ServerMonitor extends javax.swing.JPanel {
static com.borland.dbswing.JdbTextArea myLog = null;
static ServerMonitor monitor;
java.util.ResourceBundle res = java.util.ResourceBundle.getBundle("atmserver.ATMDemo.server.ServerResources");
BorderLayout borderLayout1 = new BorderLayout();
BorderLayout borderLayout2 = new BorderLayout();
GridBagLayout gridBagLayout1 = new GridBagLayout();
javax.swing.JTabbedPane tabPanel1 = new javax.swing.JTabbedPane();
javax.swing.JPanel panel1 = new javax.swing.JPanel();
BorderLayout moduleBorderLayoutATMDemo = new BorderLayout();
javax.swing.JPanel panelATMDemo = new javax.swing.JPanel();
com.borland.dbswing.JdbTextArea textATMDemo = new com.borland.dbswing.JdbTextArea();
javax.swing.JScrollPane scrollATMDemo = new javax.swing.JScrollPane();
java.util.Vector pagesToRefresh = new java.util.Vector();
public ServerMonitor() {
monitor = this;
try {
jbInit();
}
catch (Exception ex) {
ex.printStackTrace();
}
}
private void jbInit() throws Exception{
this.setLayout(borderLayout1);
this.add(panel1, BorderLayout.CENTER);
panel1.setLayout(borderLayout2);
panel1.add(tabPanel1, BorderLayout.CENTER );
textATMDemo.setEnabled(true);
panelATMDemo.setLayout(moduleBorderLayoutATMDemo);
scrollATMDemo.getViewport().add(textATMDemo);
panelATMDemo.add(scrollATMDemo, BorderLayout.CENTER);
myLog = textATMDemo;
tabPanel1.addTab(ServerResources.format(res.getString("logTitle"), "ATMDemo"), panelATMDemo);
tabPanel1.setSelectedComponent(panelATMDemo);
}
private void addPage(ServerMonitorPage page, String name) {
tabPanel1.addTab(name, page);
pagesToRefresh.addElement(page);
//panel1.updateUI();
//tabPanel1.setEnabledAt(0, true);
}
private static ServerFrame createFrame() {
ServerFrame frame = new ServerFrame();
frame.pack();
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
Dimension frameSize = frame.getSize();
if (frameSize.height > screenSize.height)
frameSize.height = screenSize.height;
if (frameSize.width > screenSize.width)
frameSize.width = screenSize.width;
frame.setLocation((screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
frame.setVisible(true);
return(frame);
}
protected static void ensureFrame() {
if (ServerMonitor.monitor == null) {
ServerMonitor.monitor = new ServerMonitor();
ServerFrame frame = createFrame();
frame.getContentPane().add(ServerMonitor.monitor);
}
}
public static synchronized ServerMonitorPage addPage(Object obj, String name) {
ensureFrame();
ServerMonitorPage page = new ServerMonitorPage(obj);
ServerMonitor.monitor.addPage(page, name);
return page;
}
public static synchronized void log(String str) {
if (myLog != null) {
DateFormat df = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.LONG);
myLog.append(df.format(new java.util.Date()) + " " + str + System.getProperty("line.separator"));
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -