From c4c9e1350494f2853d0bd3efb2b43eef7ab96488 Mon Sep 17 00:00:00 2001
From: Hugues Malphettes <hmalphettes@intalio.com>
Date: Mon, 9 May 2011 03:34:08 +0000
Subject: [PATCH] request parameter to debug the system properties in the dump
 servlet

git-svn-id: svn+ssh://dev.eclipse.org/svnroot/rt/org.eclipse.jetty/jetty/trunk@3093 7e9141cc-0065-0410-87d8-b60c137991c4
---
 .../main/java/org/eclipse/jetty/nested/Dump.java    | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/test-jetty-nested/src/main/java/org/eclipse/jetty/nested/Dump.java b/test-jetty-nested/src/main/java/org/eclipse/jetty/nested/Dump.java
index 5039c4781b8..317c38205cc 100644
--- a/test-jetty-nested/src/main/java/org/eclipse/jetty/nested/Dump.java
+++ b/test-jetty-nested/src/main/java/org/eclipse/jetty/nested/Dump.java
@@ -494,6 +494,19 @@ public class Dump extends HttpServlet
                 }
             }
 
+            if ("true".equals(request.getParameter("env")))
+            {
+                pout.write("</tr><tr>\n");
+                pout.write("<th align=\"left\" colspan=\"2\"><big><br/>Environment&nbsp;System-Properties:&nbsp;</big></th>");
+
+                for (Entry<Object, Object> e : System.getProperties().entrySet())
+                {
+                    pout.write("</tr><tr>\n");
+                    pout.write("<th align=\"right\">" + notag(String.valueOf(e.getKey())) + ":&nbsp;</th>");
+                    pout.write("<td>"+notag(String.valueOf(e.getValue()))+"</td>");
+                }
+            }
+
             pout.write("</tr><tr>\n");
             pout.write("<th align=\"left\" colspan=\"2\"><big><br/>Request Parameters:</big></th>");
             h= request.getParameterNames();