增加redis和流媒体服务外部程序 增加流媒体日志

liusuyi

2023-10-23 bd8cdb3244d058ad062610c8dc914374b52dd1e6

1
2
3
import { GeoJSONRegion } from './Region.js';
import { GeoJSONCompressed, GeoJSON } from './geoTypes.js';
export default function parseGeoJSON(geoJson: GeoJSON | GeoJSONCompressed, nameProperty: string): GeoJSONRegion[];