mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
neil_a_wilson
18.02.2007 dc7e0efd09b538b9ed21a414dff79fb1cf6f2d64 
 opends/src/server/org/opends/server/plugins/profiler/ProfileViewer.java


@@ -484,7 +484,6 @@


    }




    String largestCountString = String.valueOf(subFrames[0].getTotalCount());


    int    largestCountLength = largestCountString.length();




    for (ProfileStackFrame subFrame : subFrames)


    {


@@ -569,12 +568,6 @@


      // There is a tree node selected, so we should convert it to a stack


      // frame and display information about it.


      ProfileStackFrame frame = (ProfileStackFrame) selectedObject;


      if (frame == null)


      {


        frameInfoPane.setText("");


        return;


      }






      StringBuilder html = new StringBuilder();


      html.append("<HTML><BODY><PRE>");