20 2009

Properties Editor Eclipse属性文件编辑插件

Properties Editor是一个专门用来编辑Properties属性文件的Eclipse插件,安装Properties Editor插件后,修改Properties属性文件,就不必再使用native2ascii工具进行字符编码转换了。

Properties Editor: http://propedit.sourceforge.jp/index_en.html


23 2008

利用java.util.Properties读取ini配置文件

关键代码如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
	public void getOption() {
 
		String OptionFile = "Option.ini";
 
		Properties p = new Properties();
		try {
			p.load(new FileInputStream(OptionFile));
		} catch (FileNotFoundException e) {
 
			e.printStackTrace();
		} catch (IOException e) {
 
			e.printStackTrace();
		}
		String Thread_num = p.getProperty("thread_num");
		String Pass_num = p.getProperty("pass_num");
		String Interval_time = p.getProperty("interval_time");
 
	}

Option.ini文件内容:

1
2
3
4
[option]
thread_num=2
pass_num=6
interval_time=6000