Skip to content

Handle numeric domain file IDs safely#213

Merged
mad-sol-dev merged 2 commits into
mainfrom
codex/update-finddomainfilebyid-type-comparison
Nov 25, 2025
Merged

Handle numeric domain file IDs safely#213
mad-sol-dev merged 2 commits into
mainfrom
codex/update-finddomainfilebyid-type-comparison

Conversation

@mad-sol-dev
Copy link
Copy Markdown
Owner

Summary

  • parse domain file IDs when searching by ID to avoid direct type mismatches
  • skip files with non-numeric IDs during numeric ID lookups

Testing

  • not run (not requested)

Codex Task

@mad-sol-dev mad-sol-dev merged commit 43548d8 into main Nov 25, 2025
4 of 5 checks passed
@mad-sol-dev mad-sol-dev deleted the codex/update-finddomainfilebyid-type-comparison branch November 25, 2025 13:35
mad-sol-dev added a commit that referenced this pull request Jan 9, 2026
…ebyid-type-comparison

Handle numeric domain file IDs safely
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant