Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Fix #12638] Fix an Errno::ENOENT error when using server mode #12640

Merged
merged 1 commit into from
Jan 22, 2024
Merged

[Fix #12638] Fix an Errno::ENOENT error when using server mode #12640

merged 1 commit into from
Jan 22, 2024

Commits on Jan 22, 2024

  1. [Fix rubocop#12638] Fix an Errno::ENOENT error when using server mode 

    Fixes rubocop#12638.

There is a possibility of a race condition occurring with the status file
when using server mode. The status file is updated to a new status by
`Cache.write_status_file` (`Pathname#write`), so there is no need to clear
it by deleting the file.

Due to the difficulty in reproducing this race conditions, test code for this
have not been added.
    @koic
    koic committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    171f070 View commit details
    Browse the repository at this point in the history