Skip to content

Conversation

@SnipUndercover
Copy link
Member

Makes the Autotiler constructor explicitly throw when a duplicate tileset ID is encountered. It also shows a new postcard when applicable. The Unicode code point is also printed in case the tileset ID happens to be an unprintable character, as several people reported that high tileset IDs (such as U+5337) turn into ? (U+003F) when viewed in log.txt.

IL patch, decompiled

image

Postcard

image

Logged exception

image

@maddie480-bot maddie480-bot added the 1: review needed This PR needs 2 approvals to be merged (bot-managed) label Nov 27, 2025
Copy link
Member

@JaThePlayer JaThePlayer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a tiny change needed, looks good otherwise

@maddie480-bot maddie480-bot added 2: changes requested This PR cannot be merged because changes were requested (bot-managed) and removed 1: review needed This PR needs 2 approvals to be merged (bot-managed) labels Nov 29, 2025
@maddie480-bot
Copy link
Member

The pull request was approved and entered the 3-day last-call window.
If no further reviews happen, it will end on Dec 2, 2025, 8:46 PM UTC, after which the pull request will be able to be merged.

@maddie480-bot maddie480-bot added 3: last call window This PR was approved, and is in the 5-day last-call window before getting merged (bot-managed) and removed 2: changes requested This PR cannot be merged because changes were requested (bot-managed) labels Nov 29, 2025
@maddie480-bot
Copy link
Member

The last-call window for this pull request ended. It can now be merged if no blockers were brought up.

@maddie480-bot maddie480-bot added 4: ready to merge This PR was approved and the last-call window is over (bot-managed) and removed 3: last call window This PR was approved, and is in the 5-day last-call window before getting merged (bot-managed) labels Dec 2, 2025
@SnipUndercover SnipUndercover merged commit e9801f5 into EverestAPI:dev Dec 2, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

4: ready to merge This PR was approved and the last-call window is over (bot-managed)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants