soon this will be a producers.xml pluggable node that will

[mir.git] / source / OpenMir.java

diff --git a/source/OpenMir.java b/source/OpenMir.java
index 2ea1a6e..aeefb12 100755 (executable)
--- a/source/OpenMir.java
+++ b/source/OpenMir.java
@@ -74,6 +74,8 @@ public class OpenMir extends AbstractServlet {
 
     // get the configration - this could conflict if 2 mirs are in the
     // VM maybe? to be checked. -mh
+    // -- they would have different servlet contexts, so the following is
+    // no problem (br1)
     if(getServletContext().getAttribute("mir.confed") == null) {
       getConfig(req);
     }