|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(function() {
// When loading a new map, consider throwing stuff away:
DataManager._oldPreCacheWiper_loadMapData = DataManager.loadMapData;
DataManager.loadMapData = function(mapId) {
if (typeof(DataManager._lastSeenMap) == "undefined") {
DataManager._lastSeenMap = -1;
}
if (mapId != DataManager._lastSeenMap) {
// Purge image data:
ImageManager.clear();
// Remember new map id:
DataManager._lastSeenMap = mapId;
}
return DataManager._oldPreCacheWiper_loadMapData(mapId);
}
})();
|
cs |