Changeset 1249 for trunk


Ignore:
Timestamp:
07/04/13 09:33:08 (11 years ago)
Author:
pharms
Message:
  • corrected synchronization bug leading to writing twice to the same log file
File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r1227 r1249  
    196196     */ 
    197197    @Override 
    198     public void handleMessage(HtmlClientInfos clientInfos, 
    199                               HtmlGUIElement  guiStructure, 
    200                               HtmlEvent[]     events) 
     198    public synchronized void handleMessage(HtmlClientInfos clientInfos, 
     199                                           HtmlGUIElement  guiStructure, 
     200                                           HtmlEvent[]     events) 
    201201    { 
    202202        if (outputWriter == null) { 
Note: See TracChangeset for help on using the changeset viewer.