config.java

这是一个网上购物店的源码

package org.digitstore.util;

import java.io.BufferedReader;
import java.io.File;
import java.io.FileReader;
import java.util.Properties;

/**
 * 类功能 ：常量, 写日志 <br>
 * 建立日期：(00-3-31 11:44:03) <br>
 * 建立人 ：郑严 <br>
 * 修改日期： <br>
 * 修改原因： <br>
 * 修改人 ：<br>
 * 使用方法：
 */
public class Config {
	private static Properties prop = null;

	//2005.1.17修改
	//将配置文件的存放位置修改到/WEB-INF/classes/目录下
	//	private static String propertyFile = "config\\db.properties";
	//
	//	private static File proFile = new File(propertyFile);
	private static File proFile = new File(Tools.class.getResource(
			"/db.properties").getFile());

	//--------modify end---------
	private static long lastModified = 0;

	private Config() {
	}

	/**
	 * 主方法， 测试使用
	 */
	public static void main(String[] args) {
	}

	private static Properties getProp() {
		if (prop != null) {
			return prop;
		}

		return prop = new Properties();
	}

	/**
	 * 装载配置文件
	 */
	public static synchronized void init() {
		try {
			if (lastModified != proFile.lastModified()) {
				load();
				lastModified = proFile.lastModified();
			}
		} catch (Exception e) {
			System.out.println(e);
		}
	}

	/**
	 * 读取配置文件中的属性
	 */
	public static String getProperty(String name) {
		init();

		return getProp().getProperty(name);
	}

	/**
	 * 读取配置文件中的属性
	 */
	public static String getProperty(String name, String defaultValue) {
		init();

		return getProp().getProperty(name, defaultValue);
	}

	private static void load() {
		try {
			BufferedReader reader = new BufferedReader(new FileReader(proFile));
			String buffer = "";
			String key = "";
			String value = "";
			int index = 0;

			while ((buffer = reader.readLine()) != null) {
				index = buffer.indexOf("=");
				if (!buffer.startsWith("#") && (index > 0)) {
					key = Tools.trimStr(buffer.substring(0, index));
					value = Tools.trimStr(buffer.substring(index + 1));
					getProp().setProperty(key, value);
				}
			}

			getProp().list(System.out);
		} catch (Exception e) {
			e.printStackTrace(System.err);
		}
	}
}