Changeset 1839 for trunk/autoquest-htmlmonitor/src/main/java/de/ugoe

Timestamp:

12/04/14 10:10:03 (10 years ago)

Author:

pharms

Message:

• bugfix for duplicate logfile writers

File:

• trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorLogManager.java (modified) (4 diffs)

trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorLogManager.java

@@ -120 +120 @@
     {
         HtmlMonitorOutputWriter writer =
-            writers.get(clientInfos.getClientId() + clientInfos.getUrl());
+            writers.get(clientInfos.getClientId() + clientInfos.getWebAppId());
         
         try {
             if (writer == null) {
                 synchronized (this) {
-                    writer = writers.get(clientInfos.getClientId() + clientInfos.getUrl());
+                    writer = writers.get(clientInfos.getClientId() + clientInfos.getWebAppId());
                     if (writer == null) {
                         writer = new HtmlMonitorOutputWriter
@@ -133 +133 @@
                         writer.init();
                         writer.start();
-                        writers.put(clientInfos.getClientId() + clientInfos.getUrl(), writer);
+                        writers.put(clientInfos.getClientId() + clientInfos.getWebAppId(), writer);
                     }
                 }
@@ -148 +148 @@
             // determine, if the writer exists but is not able to log something. In this case,
             // destroy the writer (part of the message may be logged twice through this).
-            writer = writers.get(clientInfos.getClientId() + clientInfos.getUrl());
+            writer = writers.get(clientInfos.getClientId() + clientInfos.getWebAppId());
             if (writer != null) {
                 try {
@@ -155 +155 @@
                 catch (Exception e1) {
                     synchronized (this) {
-                        writers.remove(clientInfos.getClientId() + clientInfos.getUrl());
+                        writers.remove(clientInfos.getClientId() + clientInfos.getWebAppId());
                         writer.stop();
                     }