📄 consoleconfiguration.java
字号:
/**************************************************************** * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER. * * * * Copyright 2008 Jun Li(SiChuan University, the School of * * Software Engineering). All rights reserved. * * * * Licensed to the JMS under one or more contributor license * * agreements. See the LICENCE file distributed with this * * work for additional information regarding copyright * * ownership. The JMS licenses this file you may not use this * * file except in compliance with the License. * * * * Unless required by applicable law or agreed to in writing, * * software distributed under the License is distributed on an * * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY * * KIND, either express or implied. See the License for the * * specific language governing permissions and limitations * * under the License. * ****************************************************************/package org.jpxx.mail.plugin.console;import java.io.File;import java.io.FileInputStream;import java.io.PrintWriter;import java.util.Date;import java.util.Enumeration;import java.util.Properties;/** * JMSConsole Configuration. * * @author Jun Li * @version $Revision: 0.0.3 $, $Date: 2008/09/07 $ * @since JMS 0.0.3 */public class ConsoleConfiguration { private Properties p = null; /** * Config file path */ private final String PATH = "JMS" + File.separator + "Config" + File.separator + "JMSConsole.properties"; public ConsoleConfiguration() { } public String getProperty(String key) { loadProperties(); return p.getProperty(key); } public void setProperty(String key, String value) { loadProperties(); if (p.isEmpty()) { return; } Enumeration keys = p.keys(); String content = ""; while (keys.hasMoreElements()) { String theKey = keys.nextElement().toString(); String theValue = ""; if (theKey.equals(key)) { theValue = value; } else { theValue = p.getProperty(theKey); } content += theKey + "=" + theValue + "\r\n"; } try { PrintWriter out = new PrintWriter(PATH); out.println("# JMS Console Configuration. Jun Li all right reserved!"); out.println("# Last modified:"); out.println("# " + new Date() + "\r\n"); out.println(content); out.close(); } catch (Exception e) { } } public void appendProperty(String key, String value) { loadProperties(); Enumeration keys = p.keys(); String content = ""; while (keys.hasMoreElements()) { String theKey = keys.nextElement().toString(); if (theKey.equals(key)) { return; } String theValue = p.getProperty(theKey); content += (theKey + "=" + theValue + "\r\n"); } content += (key + "=" + value); try { PrintWriter out = new PrintWriter(PATH); out.println("# JMS Console Configuration. Jun Li all right reserved!"); out.println("# Last modified:"); out.println("# " + new Date()); out.println(); out.println(content); out.close(); } catch (Exception e) { e.printStackTrace(); } } /** * load properties object */ private void loadProperties(){ if (p == null) { p = new Properties(); } // Must reload. try { p.load(new FileInputStream(PATH)); } catch (Exception e) { //System.err.println(e); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -