tree d984122fc3658837def6a833b45c29079ee87584
parent 7cbcc73afde74253d407bf051b3baaae005752df
author Violeta Georgieva <milesg78@gmail.com> 1437427835 +0300
committer Violeta Georgieva <milesg78@gmail.com> 1437427835 +0300

bug 466387: Add property for initialized context. Tune ConfigManager.hasBeenInitialized so that ConfigureListener.contextDestroyed will not harm the correct ServletContext.