KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > columba > core > config > OptionsXmlConfig


1 //The contents of this file are subject to the Mozilla Public License Version 1.1
2 //(the "License"); you may not use this file except in compliance with the
3 //License. You may obtain a copy of the License at http://www.mozilla.org/MPL/
4 //
5 //Software distributed under the License is distributed on an "AS IS" basis,
6 //WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
7 //for the specific language governing rights and
8 //limitations under the License.
9 //
10 //The Original Code is "The Columba Project"
11 //
12 //The Initial Developers of the Original Code are Frederik Dietz and Timo Stich.
13 //Portions created by Frederik Dietz and Timo Stich are Copyright (C) 2003.
14 //
15 //All Rights Reserved.
16
17 package org.columba.core.config;
18
19 import java.io.File JavaDoc;
20
21 import org.columba.core.xml.XmlElement;
22
23 public class OptionsXmlConfig extends DefaultXmlConfig {
24
25     private GuiItem guiItem;
26     
27     private static final String JavaDoc OPTIONS_PROXY = "/options/proxy"; //$NON-NLS-1$
28
29     private static final String JavaDoc OPTIONS_GUI = "/options/gui"; //$NON-NLS-1$
30
31     private static final String JavaDoc HTTP_PROXYHOST = "http.proxyHost"; //$NON-NLS-1$
32
33     private static final String JavaDoc HTTP_PROXYPORT = "http.proxyPort"; //$NON-NLS-1$
34
35     private static final String JavaDoc PROXY_HOST = "host"; //$NON-NLS-1$
36
37     private static final String JavaDoc PROXY_PORT = "port"; //$NON-NLS-1$
38
39
40     public OptionsXmlConfig(final File JavaDoc file) {
41         super(file);
42     }
43
44     @Override JavaDoc
45     public boolean load() {
46         final boolean result = super.load();
47
48         
49         final XmlElement proxy = getRoot().getElement(OPTIONS_PROXY);
50         if ((proxy != null) && (System.getProperty(HTTP_PROXYHOST) != null)) {
51             System.setProperty(HTTP_PROXYHOST, proxy.getAttribute(PROXY_HOST));
52             System.setProperty(HTTP_PROXYPORT, proxy.getAttribute(PROXY_PORT));
53         }
54
55         return result;
56     }
57
58     public GuiItem getGuiItem() {
59         if (guiItem == null) {
60             guiItem = new GuiItem(getRoot().getElement(OPTIONS_GUI));
61         }
62
63         return guiItem;
64     }
65 }
66
Popular Tags