geoserver是一款地图发布工具，可以帮助用户对地图信息进行修改和编辑，然后对修改后的地图还能进行发布，及时更新地图的信息，有需要的用户快来下载看看吧。