test/jdk/com/sun/jndi/dns/lib/DNSTestUtils.java
changeset 52205 a562c65c3c74
parent 51192 499b873761d8
equal deleted inserted replaced
52204:cf3fafc740bb 52205:a562c65c3c74
   116                 loopPlayback = true;
   116                 loopPlayback = true;
   117             }
   117             }
   118         }
   118         }
   119 
   119 
   120         debug = Boolean.valueOf(System.getProperty("debug", "true"));
   120         debug = Boolean.valueOf(System.getProperty("debug", "true"));
       
   121 
       
   122         // override testname here if it's been specified
       
   123         String newTestName = (String) env.get("testname");
       
   124         if (newTestName != null && !newTestName.isEmpty()) {
       
   125             testname = newTestName;
       
   126         }
   121 
   127 
   122         if (env.get("DNS_SERVER") != null) {
   128         if (env.get("DNS_SERVER") != null) {
   123             String port = (String) env.get("DNS_PORT");
   129             String port = (String) env.get("DNS_PORT");
   124             String portSuffix = (port == null) ? "" : ":" + port;
   130             String portSuffix = (port == null) ? "" : ":" + port;
   125             String url = "dns://" + env.get("DNS_SERVER") + portSuffix;
   131             String url = "dns://" + env.get("DNS_SERVER") + portSuffix;