diff options
author | 2023-02-13 22:23:05 +0100 | |
---|---|---|
committer | 2023-02-13 22:23:05 +0100 | |
commit | 71809f2867baad1acb373cee0fa1f86394c14370 (patch) | |
tree | 1fa8b4a3b16a7977144278ec02ca8e3b85f773fb /subprojects/store/src/main/java | |
parent | Multiple small updates and fixes to support all upcoming tests. (diff) | |
download | refinery-71809f2867baad1acb373cee0fa1f86394c14370.tar.gz refinery-71809f2867baad1acb373cee0fa1f86394c14370.tar.zst refinery-71809f2867baad1acb373cee0fa1f86394c14370.zip |
Potential synchronization issue fixed in VersionedMapStoreDeltaImpl.getStates
Diffstat (limited to 'subprojects/store/src/main/java')
-rw-r--r-- | subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java b/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java index e556a8bb..f41a2d75 100644 --- a/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java +++ b/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java | |||
@@ -78,7 +78,7 @@ public class VersionedMapStoreDeltaImpl<K, V> implements VersionedMapStore<K, V> | |||
78 | 78 | ||
79 | @Override | 79 | @Override |
80 | public synchronized Set<Long> getStates() { | 80 | public synchronized Set<Long> getStates() { |
81 | return states.keySet(); | 81 | return new HashSet<>(states.keySet()); |
82 | } | 82 | } |
83 | 83 | ||
84 | @Override | 84 | @Override |