equal
deleted
inserted
replaced
40 boolean isMac = java.security.AccessController.doPrivileged( |
40 boolean isMac = java.security.AccessController.doPrivileged( |
41 new java.security.PrivilegedAction<Boolean>() { |
41 new java.security.PrivilegedAction<Boolean>() { |
42 public Boolean run() { |
42 public Boolean run() { |
43 String osname = System.getProperty("os.name"); |
43 String osname = System.getProperty("os.name"); |
44 if (osname.contains("OS X")) { |
44 if (osname.contains("OS X")) { |
45 System.loadLibrary("osx"); |
45 System.loadLibrary("osxkrb5"); |
46 return true; |
46 return true; |
47 } |
47 } |
48 return false; |
48 return false; |
49 } |
49 } |
50 }); |
50 }); |