Changeset 6025

Timestamp:

2003-11-28T17:37:52+13:00 (20 years ago)

Author:

jmt12

Message:

Added support for the storage and retrieval of the current users email

File:

• trunk/gli/src/org/greenstone/gatherer/Configuration.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/Configuration.java

@@ -66 +66 @@
     /** The string identifying an argument element. */
     static final private String GATHERER_CONFIG_ARGUMENT = "Argument";
+
+    static final private String GENERAL_EMAIL_SETTING = "general.email";
     /** The name of a Name Element. */
     static final private String NAME = "Name";
@@ -317 +319 @@
     } */
 
+    /** Retrieve the current users email. These are always stored in the general settings.
+     * @return the email address, if it is set, as a String
+     */
+    public String getEmail() {
+    String email = getString(GENERAL_EMAIL_SETTING, true);
+    return (email.length() > 0 ? email : null);
+    }
+
     /** Retrieve the value of the named property as a FontUIResource. */
     public FontUIResource getFont(String property, boolean general) {
@@ -521 +531 @@
     setString(property, general, text.toString());
     } */
+
+    /** Establish the current users email.
+     * @param email the email as a String
+     */
+    public void setEmail(String email) {
+    setString(GENERAL_EMAIL_SETTING, true, email);
+    }
 
     /** Set the named property, from the specified configuration, using the given Font value. */