comparison agent/make/jstackproc.sh @ 5424:068cc464e0cf

add snapshot() call in MergeNode.removeEnd to fix concurrent modification problem
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 22 May 2012 14:57:01 +0200
parents c18cbe5936b8
children
comparison
equal deleted inserted replaced
5414:d3dec1a05a80 5424:068cc464e0cf