Skip to content

Close the files after comparing them.#17

Closed
lastland wants to merge 1 commit intorems-project:masterfrom
lastland:close-files
Closed

Close the files after comparing them.#17
lastland wants to merge 1 commit intorems-project:masterfrom
lastland:close-files

Conversation

@lastland
Copy link
Copy Markdown

@lastland lastland commented Jun 7, 2018

Function same_content_files does not close the files after comparing them. This causes the second problem described in #16. And this PR fixes #16.

@lastland
Copy link
Copy Markdown
Author

lastland commented Jun 7, 2018

I suppose Windows does not allow you to remove a file which is not closed.

@bacam
Copy link
Copy Markdown
Contributor

bacam commented Mar 12, 2025

This was superseded by 8942774.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Building lem with Windows/Cygwin

3 participants