src/java.security.jgss/share/classes/sun/security/krb5/internal/ccache/FileCredentialsCache.java
changeset 59024 b046ba510bbc
parent 58611 53ddf218eddd
equal deleted inserted replaced
59023:f0dca628176c 59024:b046ba510bbc
    49 import java.io.FileInputStream;
    49 import java.io.FileInputStream;
    50 import java.io.FileOutputStream;
    50 import java.io.FileOutputStream;
    51 import java.io.BufferedReader;
    51 import java.io.BufferedReader;
    52 import java.io.InputStreamReader;
    52 import java.io.InputStreamReader;
    53 
    53 
       
    54 import static java.nio.charset.StandardCharsets.ISO_8859_1;
       
    55 
    54 /**
    56 /**
    55  * CredentialsCache stores credentials(tickets, session keys, etc) in a
    57  * CredentialsCache stores credentials(tickets, session keys, etc) in a
    56  * semi-permanent store
    58  * semi-permanent store
    57  * for later use by different program.
    59  * for later use by different program.
    58  *
    60  *
   592                 return null;
   594                 return null;
   593             }
   595             }
   594 
   596 
   595             BufferedReader commandResult =
   597             BufferedReader commandResult =
   596                 new BufferedReader
   598                 new BufferedReader
   597                     (new InputStreamReader(p.getInputStream(), "8859_1"));
   599                     (new InputStreamReader(p.getInputStream(), ISO_8859_1));
   598             String s1 = null;
   600             String s1 = null;
   599             if ((command.length == 1) &&
   601             if ((command.length == 1) &&
   600                 (command[0].equals("/usr/bin/env"))) {
   602                 (command[0].equals("/usr/bin/env"))) {
   601                 while ((s1 = commandResult.readLine()) != null) {
   603                 while ((s1 = commandResult.readLine()) != null) {
   602                     if (s1.length() >= 11) {
   604                     if (s1.length() >= 11) {