packages (DEVEL): tomcat/tomcat-LDAPUserDatabase.patch - cosmetics for 7.0.5

[baggins]

Author: baggins                      Date: Mon Dec  6 10:08:38 2010 GMT
Module: packages                      Tag: DEVEL
---- Log message:
- cosmetics for 7.0.5

---- Files affected:
packages/tomcat:
   tomcat-LDAPUserDatabase.patch (1.3 -> 1.3.2.1) 

---- Diffs:

================================================================
Index: packages/tomcat/tomcat-LDAPUserDatabase.patch
diff -u packages/tomcat/tomcat-LDAPUserDatabase.patch:1.3 packages/tomcat/tomcat-LDAPUserDatabase.patch:1.3.2.1
--- packages/tomcat/tomcat-LDAPUserDatabase.patch:1.3	Thu Nov 18 22:34:40 2010
+++ packages/tomcat/tomcat-LDAPUserDatabase.patch	Mon Dec  6 11:08:32 2010
@@ -259,8 +259,8 @@
 +
 +package org.apache.catalina.startup;
 +
-+import java.util.Hashtable;
 +import java.util.Enumeration;
++import java.util.Hashtable;
 +
 +import javax.naming.Context;
 +import javax.naming.NamingEnumeration;
@@ -301,7 +301,7 @@
 +    /**
 +     * The set of home directories for all defined users, keyed by username.
 +     */
-+    private Hashtable homes = new Hashtable();
++    private Hashtable<String,String> homes = new Hashtable();
 +
 +    /**
 +     * The UserConfig listener with which we are associated.
@@ -335,14 +335,14 @@
 +     * @param user User for which a home directory should be retrieved
 +     */
 +    public String getHome(String user) {
-+        return ((String) homes.get(user));
++        return homes.get(user);
 +    }
 +
 +
 +    /**
 +     * Return an enumeration of the usernames defined on this server.
 +     */
-+    public Enumeration getUsers() {
++    public Enumeration<String> getUsers() {
 +        return (homes.keys());
 +    }
 +
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/tomcat/tomcat-LDAPUserDatabase.patch?r1=1.3&r2=1.3.2.1&f=u