Changeset 2243 for trunk/autoquest-generic-event-monitor/src/main/java/de/ugoe/cs/autoquest/genericeventmonitor/GenericEventMonitorLogManager.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/GenericEventMonitorLogManager.java
r2155 r2243 117 117 */ 118 118 @Override 119 public void handleEvents(ClientInfos clientInfos,120 GenericEvent[] events)119 public synchronized void handleEvents(ClientInfos clientInfos, 120 GenericEvent[] events) 121 121 { 122 122 OutputWriter writer = writers.get(clientInfos.getAppId() + clientInfos.getClientId());
Note: See TracChangeset
for help on using the changeset viewer.