Changeset 2236 for trunk/autoquest-core-tasktrees

Timestamp:

12/08/17 14:42:09 (7 years ago)

Author:

pharms

Message:

• solved some findbugs issues

File:

• trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/manager/TaskTreeManager.java (modified) (2 diffs)

trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/manager/TaskTreeManager.java

@@ -187 +187 @@
      * @param event the event to handle
      */
-    public void handleNewEvent(Event event) {
+    public synchronized void handleNewEvent(Event event) {
         assertSessionSequence();
         
@@ -216 +216 @@
      * </p>
      */
-    public void finishSession() {
+    public synchronized void finishSession() {
         if ((currentSession != null) && (currentSession.size() > 0)) {
             sessions.add(currentSession);