pingDelay.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));
pingDelay.setToolTipText(Messages.pingDelayTooltip);
pingDelay.addModifyListener(new ModifyListener() {
public void modifyText(ModifyEvent e) {
Integer value = Integer.valueOf(pingDelay.getText());
execute(new SetServerInstancePropertyCommand(server, value, "setPingDelay", Integer.class, IGeronimoServer.class));
}
});
// ------- Label and text field for the ping interval -------
createLabel(composite, Messages.pingInterval, toolkit);
pingInterval = toolkit.createText(composite, getPingInterval(), SWT.BORDER);
pingInterval.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));
pingInterval.setToolTipText(Messages.pingIntervalTooltip);
pingInterval.addModifyListener(new ModifyListener() {
public void modifyText(ModifyEvent e) {
Integer value = Integer.valueOf(pingInterval.getText());
execute(new SetServerInstancePropertyCommand(server, value, "setPingInterval", Integer.class, IGeronimoServer.class));
}
});
// ------- Label and text field for the max pings -------
createLabel(composite, Messages.maxPings, toolkit);
maxPings = toolkit.createText(composite, getMaxPings(), SWT.BORDER);
maxPings.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));
maxPings.setToolTipText(Messages.maxPingsTooltip);
maxPings.addModifyListener(new ModifyListener() {
public void modifyText(ModifyEvent e) {
Integer value = Integer.valueOf(maxPings.getText());
execute(new SetServerInstancePropertyCommand(server, value, "setMaxPings", Integer.class, IGeronimoServer.class));
}
});
}