Skip to content

Commit

Permalink
deegree#1096 - removed graph.removeNode( id ) to fix ConcurrentModifi…
Browse files Browse the repository at this point in the history
…cationException
  • Loading branch information
lgoltz committed Nov 3, 2020
1 parent 5cb7bf5 commit a76997d
Showing 1 changed file with 0 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -522,7 +522,6 @@ public <T extends Resource> void destroy( ResourceIdentifier<T> id ) {
states.remove( id );
removeMetadataFromResourceManager( id );
resources.remove( id );
graph.removeNode( id );
errors.clear( id );
}

Expand Down

0 comments on commit a76997d

Please sign in to comment.