diff options
Diffstat (limited to 'gnu/classpath/SystemProperties.java')
| -rw-r--r-- | gnu/classpath/SystemProperties.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/classpath/SystemProperties.java b/gnu/classpath/SystemProperties.java index 0c2d0e8de..d091f1ed0 100644 --- a/gnu/classpath/SystemProperties.java +++ b/gnu/classpath/SystemProperties.java @@ -111,6 +111,13 @@ public class SystemProperties defaultProperties.put("java.io.tmpdir", defaultProperties.get("java.tmpdir")); + // FIXME: we need a better way to handle this. + // For instance, having a single VM class for each OS might help. + if (defaultProperties.get("gnu.classpath.mime.types.file") == null + && "Linux".equals(defaultProperties.get("os.name"))) + defaultProperties.put("gnu.classpath.mime.types.file", + "/etc/mime.types"); + VMSystemProperties.postInit(defaultProperties); // Note that we use clone here and not new. Some programs assume |