40 |
|
|
41 |
import gnu.classpath.SystemProperties; |
import gnu.classpath.SystemProperties; |
42 |
|
|
43 |
|
import gnu.classpath.Configuration; |
44 |
|
|
45 |
import java.io.IOException; |
import java.io.IOException; |
46 |
import java.io.InputStream; |
import java.io.InputStream; |
47 |
import java.net.URL; |
import java.net.URL; |
81 |
if (!loadProviders (base, "classpath") |
if (!loadProviders (base, "classpath") |
82 |
&& !loaded |
&& !loaded |
83 |
&& providers.size() == 0) |
&& providers.size() == 0) |
84 |
{ |
{ |
85 |
// No providers found and both security files failed to load properly. |
if (Configuration.DEBUG) |
86 |
System.err.println |
{ |
87 |
("WARNING: could not properly read security provider files:"); |
/* No providers found and both security files failed to |
88 |
System.err.println |
* load properly. Give a warning in case of DEBUG is |
89 |
(" " + base + "/security/" + vendor + ".security"); |
* enabled. Could be done with java.util.logging later. |
90 |
System.err.println |
*/ |
91 |
(" " + base + "/security/" + "classpath" + ".security"); |
System.err.println |
92 |
System.err.println |
("WARNING: could not properly read security provider files:"); |
93 |
(" Falling back to standard GNU security provider"); |
System.err.println |
94 |
providers.addElement (new gnu.java.security.provider.Gnu()); |
(" " + base + "/security/" + vendor |
95 |
} |
+ ".security"); |
96 |
} |
System.err.println |
97 |
|
(" " + base + "/security/" + "classpath" |
98 |
|
+ ".security"); |
99 |
|
System.err.println |
100 |
|
(" Falling back to standard GNU security provider"); |
101 |
|
} |
102 |
|
providers.addElement (new gnu.java.security.provider.Gnu()); |
103 |
|
} |
104 |
|
} |
105 |
// This class can't be instantiated. |
// This class can't be instantiated. |
106 |
private Security() |
private Security() |
107 |
{ |
{ |