+2005-04-28 Jeroen Frijters <jeroen@frijters.net>
+
+ * gnu/java/net/protocol/file/Connection.java
+ (StaticData): New inner class to contain statics.
+ (connect, getHeaderField): Modified to use StaticData.
+
+2005-04-28 Michael Koch <konqueror@gmx.de>
+
+ * gnu/java/net/protocol/file/Connection.java
+ (lineSeparator): Initialize with SystemProperties.getProperty().
+
2005-04-27 Chris Burdess <dog@gnu.org>
* gnu/java/net/protocol/file/Connection.java: Return correct content
package gnu.java.net.protocol.file;
-import gnu.java.security.action.GetPropertyAction;
+import gnu.classpath.SystemProperties;
import java.io.BufferedInputStream;
import java.io.BufferedOutputStream;
import java.net.URL;
import java.net.URLConnection;
import java.security.Permission;
-import java.security.AccessController;
import java.text.SimpleDateFormat;
import java.util.Date;
import java.util.Locale;
*/
private static final String DEFAULT_PERMISSION = "read";
- /**
- * HTTP-style DateFormat, used to format the last-modified header.
- */
- private static SimpleDateFormat dateFormat
- = new SimpleDateFormat("EEE, dd MMM yyyy hh:mm:ss 'GMT'",
- new Locale ("En", "Us", "Unix"));
-
- private static String lineSeparator;
-
- static
+ private static class StaticData
{
- if (lineSeparator == null)
- {
- GetPropertyAction getProperty = new GetPropertyAction("line.separator");
- lineSeparator = (String) AccessController.doPrivileged(getProperty);
- }
+ /**
+ * HTTP-style DateFormat, used to format the last-modified header.
+ */
+ static SimpleDateFormat dateFormat
+ = new SimpleDateFormat("EEE, dd MMM yyyy hh:mm:ss 'GMT'",
+ new Locale ("En", "Us", "Unix"));
+
+ static String lineSeparator =
+ SystemProperties.getProperty("line.separator");
}
+
/**
* This is a File object for this connection
for (int i = 0; i < files.length; i++)
{
writer.write(files[i]);
- writer.write(lineSeparator);
+ writer.write(StaticData.lineSeparator);
}
directoryListing = sink.toByteArray();
}
else if (field.equals("last-modified"))
{
- synchronized (dateFormat)
+ synchronized (StaticData.dateFormat)
{
- return dateFormat.format(new Date(file.lastModified()));
+ return StaticData.dateFormat.format(
+ new Date(file.lastModified()));
}
}
}