Changeset 2243 for trunk/autoquest-generic-event-monitor/src/main/java/de/ugoe/cs/autoquest/genericeventmonitor/OutputWriter.java
- Timestamp:
- 12/08/17 17:06:56 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-generic-event-monitor/src/main/java/de/ugoe/cs/autoquest/genericeventmonitor/OutputWriter.java
r2155 r2243 198 198 */ 199 199 @Override 200 public void handleEvents(ClientInfos clientInfos,201 GenericEvent[] events)200 public synchronized void handleEvents(ClientInfos clientInfos, 201 GenericEvent[] events) 202 202 { 203 203 if (outputWriter == null) {
Note: See TracChangeset
for help on using the changeset viewer.