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.

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

Shake "resource busy" #95

Closed
srid opened this issue Jan 21, 2020 · 1 comment
Closed

Shake "resource busy" #95

srid opened this issue Jan 21, 2020 · 1 comment
Assignees
Labels
bug Something isn't working
Milestone

Comments

@srid
Copy link
Owner

srid commented Jan 21, 2020

Seeing a lot of these if the source files updated very frequently.

[Rib] Shake error: .shake/.shake.database: openFile: resource busy (file is locked)
@srid srid added the bug Something isn't working label Jan 21, 2020
@srid srid added this to the 0.7 milestone Jan 21, 2020
@srid srid self-assigned this Jan 21, 2020
@srid srid closed this as completed in a57e7ab Jan 22, 2020
srid added a commit that referenced this issue Feb 28, 2020
It is buggy in two places at the least. See #95 and #97.
@srid srid reopened this Feb 28, 2020
@srid
Copy link
Owner Author

srid commented Feb 28, 2020

(Reopened accidentally; and that PR reference is wrong)

@srid srid closed this as completed Feb 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant