[empire-db] branch master updated: EMPIREDB-308

[derjan]

This is an automated email from the ASF dual-hosted git repository.

derjan pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/empire-db.git


The following commit(s) were added to refs/heads/master by this push:
     new 0d7d07f  EMPIREDB-308
0d7d07f is described below

commit 0d7d07f2ddefda8e712cae20ff5ee073c7bdbed8
Author: Jan Glaubitz <j...@glaubitz.org>
AuthorDate: Mon Sep 30 07:50:38 2019 +0200

    EMPIREDB-308
    
    WebApplication: Add "destroy"-method
---
 .../src/main/java/org/apache/empire/jsf2/app/WebApplication.java     | 5 +++++
 1 file changed, 5 insertions(+)

diff --git 
a/empire-db-jsf2/src/main/java/org/apache/empire/jsf2/app/WebApplication.java 
b/empire-db-jsf2/src/main/java/org/apache/empire/jsf2/app/WebApplication.java
index c09be7b..bafac8f 100644
--- 
a/empire-db-jsf2/src/main/java/org/apache/empire/jsf2/app/WebApplication.java
+++ 
b/empire-db-jsf2/src/main/java/org/apache/empire/jsf2/app/WebApplication.java
@@ -120,6 +120,11 @@ public abstract class WebApplication
         log.info("WebRoot is '{}'", webRoot);
     }
 
+    public void destroy()
+    {
+       // Override if needed
+    }
+    
     /* Context handling */
     
     /**