<%@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; } %> Operation Results <% if(opResultInfo.name == null) { %> <% } %>