Skip to content

Make mkdir and rmdir idempotent#2477

Merged
plajjan merged 1 commit into
mainfrom
file-idempotent-mkdir-rmdir
Oct 10, 2025
Merged

Make mkdir and rmdir idempotent#2477
plajjan merged 1 commit into
mainfrom
file-idempotent-mkdir-rmdir

Conversation

@plajjan

@plajjan plajjan commented Oct 10, 2025

Copy link
Copy Markdown
Contributor

mkdir now succeeds if directory already exists (EEXIST). rmdir now succeeds if directory does not exist (ENOENT). Added test cases for both operations.

Fixes #2436

mkdir now succeeds if directory already exists (EEXIST).
rmdir now succeeds if directory does not exist (ENOENT).
Added test cases for both operations.
@plajjan plajjan enabled auto-merge October 10, 2025 15:44
@plajjan plajjan added this to Acton Oct 10, 2025
@plajjan plajjan merged commit 941556c into main Oct 10, 2025
35 checks passed
@plajjan plajjan deleted the file-idempotent-mkdir-rmdir branch October 10, 2025 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

Change mkdir to not return already exists error

1 participant