src/java.base/share/classes/sun/net/www/protocol/https/HttpsClient.java
changeset 53018 8bf9268df0e2
parent 52474 13266dac5fdb
child 57968 8595871a5446
equal deleted inserted replaced
53017:e10a1f7aaa13 53018:8bf9268df0e2
   141         //
   141         //
   142         String ciphers [];
   142         String ciphers [];
   143         String cipherString =
   143         String cipherString =
   144                 GetPropertyAction.privilegedGetProperty("https.cipherSuites");
   144                 GetPropertyAction.privilegedGetProperty("https.cipherSuites");
   145 
   145 
   146         if (cipherString == null || "".equals(cipherString)) {
   146         if (cipherString == null || cipherString.isEmpty()) {
   147             ciphers = null;
   147             ciphers = null;
   148         } else {
   148         } else {
   149             StringTokenizer     tokenizer;
   149             StringTokenizer     tokenizer;
   150             Vector<String>      v = new Vector<String>();
   150             Vector<String>      v = new Vector<String>();
   151 
   151 
   165         //
   165         //
   166         String protocols [];
   166         String protocols [];
   167         String protocolString =
   167         String protocolString =
   168                 GetPropertyAction.privilegedGetProperty("https.protocols");
   168                 GetPropertyAction.privilegedGetProperty("https.protocols");
   169 
   169 
   170         if (protocolString == null || "".equals(protocolString)) {
   170         if (protocolString == null || protocolString.isEmpty()) {
   171             protocols = null;
   171             protocols = null;
   172         } else {
   172         } else {
   173             StringTokenizer     tokenizer;
   173             StringTokenizer     tokenizer;
   174             Vector<String>      v = new Vector<String>();
   174             Vector<String>      v = new Vector<String>();
   175 
   175 
   185     }
   185     }
   186 
   186 
   187     private String getUserAgent() {
   187     private String getUserAgent() {
   188         String userAgent =
   188         String userAgent =
   189                 GetPropertyAction.privilegedGetProperty("https.agent");
   189                 GetPropertyAction.privilegedGetProperty("https.agent");
   190         if (userAgent == null || userAgent.length() == 0) {
   190         if (userAgent == null || userAgent.isEmpty()) {
   191             userAgent = "JSSE";
   191             userAgent = "JSSE";
   192         }
   192         }
   193         return userAgent;
   193         return userAgent;
   194     }
   194     }
   195 
   195