%@page contentType="text/html" import="java.net.*, java.io.*, java.beans.PropertyEditor, org.jboss.common.beans.property.finder.PropertyEditorFinder" %> <% String hostname = ""; try { hostname = InetAddress.getLocalHost().getHostName(); } catch(IOException e){} %> <%! /** * Translate HTML tags and single and double quotes. */ public String translateMetaCharacters(Object value) { if(value == null) return null; String s = String.valueOf(value); String sanitizedName = s.replace("<", "<"); sanitizedName = sanitizedName.replace(">", ">"); sanitizedName = sanitizedName.replace("\"", """); sanitizedName = sanitizedName.replace("\'", "'"); return sanitizedName; } %>
JMX MBean Operation View<%= hostname %> |
'"/>
|
"); if( hasPreTag == false ) out.println(""); opResultString = translateMetaCharacters(opResultString); out.println(opResultString); if( hasPreTag == false ) out.println(""); } %>