Changeset 2236
- Timestamp:
- 12/08/17 14:42:09 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/manager/TaskTreeManager.java
r2132 r2236 187 187 * @param event the event to handle 188 188 */ 189 public void handleNewEvent(Event event) {189 public synchronized void handleNewEvent(Event event) { 190 190 assertSessionSequence(); 191 191 … … 216 216 * </p> 217 217 */ 218 public void finishSession() {218 public synchronized void finishSession() { 219 219 if ((currentSession != null) && (currentSession.size() > 0)) { 220 220 sessions.add(currentSession);
Note: See TracChangeset
for help on using the changeset viewer.