equal
deleted
inserted
replaced
85 gssLibs = new String[]{ "libgss.so" }; |
85 gssLibs = new String[]{ "libgss.so" }; |
86 } else if (osname.startsWith("Linux")) { |
86 } else if (osname.startsWith("Linux")) { |
87 gssLibs = new String[]{ |
87 gssLibs = new String[]{ |
88 "libgssapi.so", |
88 "libgssapi.so", |
89 "libgssapi_krb5.so", |
89 "libgssapi_krb5.so", |
|
90 "libgssapi_krb5.so.2", |
90 }; |
91 }; |
91 } |
92 } |
92 } else { |
93 } else { |
93 gssLibs = new String[]{ defaultLib }; |
94 gssLibs = new String[]{ defaultLib }; |
94 } |
95 } |