Changeset 1397 for trunk

Timestamp:

02/26/14 17:04:46 (11 years ago)

Author:

pharms

Message:

 

File:

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

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

@@ -138 +138 @@
      */
     public void finishSession() {
-        if ((currentSession != null) && (currentSession.getExecutedTasks().size() > 0)) {
+        if ((currentSession != null) && (currentSession.size() > 0)) {
             sessions.add(currentSession);
             currentSession = null;