diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2023-02-13 22:23:05 +0100 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2023-02-13 22:23:05 +0100 |
| commit | 71809f2867baad1acb373cee0fa1f86394c14370 (patch) | |
| tree | 1fa8b4a3b16a7977144278ec02ca8e3b85f773fb | |
| 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
| -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 |