Changeset 1249 for trunk/autoquest-htmlmonitor/src/main/java/de
- Timestamp:
- 07/04/13 09:33:08 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java
r1227 r1249 196 196 */ 197 197 @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) 201 201 { 202 202 if (outputWriter == null) {
Note: See TracChangeset
for help on using the changeset viewer.