Issue #1110 synchronize sat resource init and remove to avoid concurrent modification.
Former-commit-id:e3bb8c80c9
[formerly1f587e39f4
] [formerlye3bb8c80c9
[formerly1f587e39f4
] [formerly37d2411b26
[formerly e3c5526f9b12ae38c12094e7ebf9f9d6823f3257]]] Former-commit-id:37d2411b26
Former-commit-id:68235d0744
[formerly36dd387007
] Former-commit-id:b17f2973ca
This commit is contained in:
parent
1b9d645810
commit
9c74b28080
1 changed files with 8 additions and 7 deletions
|
@ -514,15 +514,16 @@ public class SatResource extends
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public void remove(DataTime dataTime) {
|
public void remove(DataTime dataTime) {
|
||||||
if (!this.dataTimes.contains(dataTime))
|
synchronized (this) {
|
||||||
return;
|
if (!this.dataTimes.contains(dataTime))
|
||||||
|
return;
|
||||||
|
|
||||||
this.dataTimes.remove(dataTime);
|
this.dataTimes.remove(dataTime);
|
||||||
|
|
||||||
FileBasedTileSet tile = tileSet.remove(dataTime);
|
|
||||||
if (tile != baseTile && tile != null)
|
|
||||||
tile.dispose();
|
|
||||||
|
|
||||||
|
FileBasedTileSet tile = tileSet.remove(dataTime);
|
||||||
|
if (tile != baseTile && tile != null)
|
||||||
|
tile.dispose();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
|
|
Loading…
Add table
Reference in a new issue