Reset pending call lists on Parser::setBookmark().
authorJosé Fonseca <jose.r.fonseca@gmail.com>
Sun, 11 Sep 2011 20:50:22 +0000 (21:50 +0100)
committerJosé Fonseca <jose.r.fonseca@gmail.com>
Sun, 11 Sep 2011 20:50:22 +0000 (21:50 +0100)
trace_parser.cpp

index a7268af..1fa901e 100644 (file)
@@ -114,6 +114,9 @@ void Parser::getBookmark(ParseBookmark &bookmark) {
 void Parser::setBookmark(const ParseBookmark &bookmark) {
     file->setCurrentOffset(bookmark.offset);
     next_call_no = bookmark.next_call_no;
+    
+    // Simply ignore all pending calls
+    deleteAll(calls);
 }