Added skinExtensions properties for support of public skins.

This is a property file, for now called mime.properties, that
mapps file extension names to MIME types.
This commit is contained in:
hns 2002-03-25 18:53:10 +00:00
parent 3712b51628
commit 77da4999aa

View file

@ -63,7 +63,7 @@ public class Application extends UnicastRemoteObject implements IRemoteApp, IPat
boolean stopped = false;
boolean debug;
public long starttime;
public long starttime;
public Hashtable sessions;
public Hashtable activeUsers;
@ -107,12 +107,14 @@ public class Application extends UnicastRemoteObject implements IRemoteApp, IPat
// Map of java class names to object prototypes
Properties classMapping;
// Map of extensions allowed for public skins
Properties skinExtensions;
// a cache for parsed skin objects
public CacheMap skincache = new CacheMap (200, 0.80f);
// DocApplication used for introspection
public DocApplication docApp;
// DocApplication used for introspection
public DocApplication docApp;
/**
* Zero argument constructor needed for RMI
@ -189,6 +191,8 @@ public class Application extends UnicastRemoteObject implements IRemoteApp, IPat
// the properties that map java class names to prototype names
classMapping = new SystemProperties (new File (appDir, "class.properties").getAbsolutePath ());
// the properties that map allowed public skin extensions to content types
skinExtensions = new SystemProperties (new File (appDir, "mime.properties").getAbsolutePath ());
// character encoding to be used for responses
charset = props.getProperty ("charset", "ISO-8859-1");