Author: markt Date: Fri May 20 16:52:50 2011 New Revision: 1125461 URL: http://svn.apache.org/viewvc?rev=1125461&view=rev Log: Minor clean-up
Modified: tomcat/trunk/java/org/apache/catalina/startup/EngineConfig.java tomcat/trunk/java/org/apache/catalina/startup/HomesUserDatabase.java Modified: tomcat/trunk/java/org/apache/catalina/startup/EngineConfig.java URL: http://svn.apache.org/viewvc/tomcat/trunk/java/org/apache/catalina/startup/EngineConfig.java?rev=1125461&r1=1125460&r2=1125461&view=diff ============================================================================== --- tomcat/trunk/java/org/apache/catalina/startup/EngineConfig.java (original) +++ tomcat/trunk/java/org/apache/catalina/startup/EngineConfig.java Fri May 20 16:52:50 2011 @@ -66,6 +66,7 @@ public class EngineConfig * * @param event The lifecycle event that has occurred */ + @Override public void lifecycleEvent(LifecycleEvent event) { // Identify the engine we are associated with Modified: tomcat/trunk/java/org/apache/catalina/startup/HomesUserDatabase.java URL: http://svn.apache.org/viewvc/tomcat/trunk/java/org/apache/catalina/startup/HomesUserDatabase.java?rev=1125461&r1=1125460&r2=1125461&view=diff ============================================================================== --- tomcat/trunk/java/org/apache/catalina/startup/HomesUserDatabase.java (original) +++ tomcat/trunk/java/org/apache/catalina/startup/HomesUserDatabase.java Fri May 20 16:52:50 2011 @@ -71,6 +71,7 @@ public final class HomesUserDatabase /** * Return the UserConfig listener with which we are associated. */ + @Override public UserConfig getUserConfig() { return (this.userConfig); @@ -83,6 +84,7 @@ public final class HomesUserDatabase * * @param userConfig The new UserConfig listener */ + @Override public void setUserConfig(UserConfig userConfig) { this.userConfig = userConfig; @@ -99,6 +101,7 @@ public final class HomesUserDatabase * * @param user User for which a home directory should be retrieved */ + @Override public String getHome(String user) { return homes.get(user); @@ -109,6 +112,7 @@ public final class HomesUserDatabase /** * Return an enumeration of the usernames defined on this server. */ + @Override public Enumeration<String> getUsers() { return (homes.keys()); --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org