文档介绍：作者:sonymusic
email: sonymusic@
日期:2001-5-17 11:37:22
//文件:
//这个类其实没什么用了,可以去掉,但需要去掉前面几个类中对这个类的引用。
.;
import .*;
import .*;
/**
Manages properties for the entire Jive system. Properties are merely
pieces of information that need to be saved in between server restarts.
<p>
At the moment, properties are stored in a Java Properties file. In a version
of ing soon, the properties file format will move to XML. XML
properties will allow hierarchical property structures which may mean the
API of this class will have to change.
<p>
Jive properties are only meant to be set and retrevied by core Jive classes.
Therefore, skin writers should probably ignore this class.
<p>
This class is implemented as a singleton since many classloaders seem to
take issue with doing classpath resource loading from a static context.
*/
public class PropertyManager {
private static PropertyManager manager = null;
private static Object managerLock = new Object();
private static String propsName = "/";
/**
* Returns a Jive property
*
* ***@param name the name of the property to return.
* ***@returns the property value specified by name.
*/
public static String getProperty(String name) {
if (manager == null) {
synchronized(managerLock) {
if (manager == null) {
String sysname=("