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: [email protected]
For additional commands, e-mail: [email protected]
