Salome HOME
projects
/
modules
/
shaper.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Issue #1351: partition is not done
[modules/shaper.git]
/
src
/
Events
/
Events_Loop.cpp
diff --git
a/src/Events/Events_Loop.cpp
b/src/Events/Events_Loop.cpp
index da0d8786221b08f93fbe92fd3a338160377cec68..d2d96de532ceda5a4c43bb051fadad2a3ebb7f21 100644
(file)
--- a/
src/Events/Events_Loop.cpp
+++ b/
src/Events/Events_Loop.cpp
@@
-129,7
+129,10
@@
void Events_Loop::flush(const Events_ID& theID)
send(aGroup, false);
if (!aWasFlushed)
- myFlushed.erase(myFlushed.find(theID.myID));
+ // TODO: Stabilization fix. Check later.
+ if(myFlushed.find(theID.myID) != myFlushed.end()) {
+ myFlushed.erase(myFlushed.find(theID.myID));
+ }
}
}