MapEditor: fixed a bug that affects exporting server-side xml