|
@ -27,18 +27,18 @@ var displacement = 0; |
|
|
|
|
|
|
|
|
var ID = 0; |
|
|
var ID = 0; |
|
|
|
|
|
|
|
|
var fetched_data = new Map([ |
|
|
|
|
|
["pluv", new Set()], |
|
|
|
|
|
["flood", new Set()], |
|
|
|
|
|
["rain", new Set()], |
|
|
|
|
|
["river", new Set()], |
|
|
|
|
|
]); |
|
|
|
|
|
|
|
|
var fetched_data = { |
|
|
|
|
|
pluv: new Set(), |
|
|
|
|
|
flood: new Set(), |
|
|
|
|
|
rain: new Set(), |
|
|
|
|
|
river: new Set(), |
|
|
|
|
|
}; |
|
|
|
|
|
|
|
|
function is_valid(id, category) { |
|
|
function is_valid(id, category) { |
|
|
if (fetched_data.get(category).has(id)) { |
|
|
|
|
|
|
|
|
if (fetched_data[category].has(id)) { |
|
|
return false; |
|
|
return false; |
|
|
} else { |
|
|
} else { |
|
|
fetched_data.get(category).add(id); |
|
|
|
|
|
|
|
|
fetched_data[category].add(id); |
|
|
} |
|
|
} |
|
|
return true; |
|
|
return true; |
|
|
} |
|
|
} |
|
|