How do I get the world's map name?

[cinjon]

How do I get the current map name that was used to instantiate the world without calling the expensive get_map()?

[corkyw10]

@doterop could you follow up on this please?

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[ivevasiljevic]

Any update on this?

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.