Skip to content

io: always close files (resolves Issue #374)#377

Merged
wilfwilson merged 1 commit intodigraphs:stable-1.3from
james-d-mitchell:fix-issue-374
Dec 24, 2020
Merged

io: always close files (resolves Issue #374)#377
wilfwilson merged 1 commit intodigraphs:stable-1.3from
james-d-mitchell:fix-issue-374

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Member

This resolves issue #374, there was one place where we failed to close a file in io.gi the other unclosed files arose from carelessness in the tests.

@codecov
Copy link
Copy Markdown

codecov Bot commented Dec 24, 2020

Codecov Report

Merging #377 (311313c) into stable-1.3 (13de281) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@             Coverage Diff             @@
##           stable-1.3     #377   +/-   ##
===========================================
  Coverage       95.26%   95.26%           
===========================================
  Files              49       49           
  Lines           12363    12364    +1     
===========================================
+ Hits            11777    11778    +1     
  Misses            586      586           
Impacted Files Coverage Δ
gap/io.gi 98.53% <100.00%> (+<0.01%) ⬆️

@james-d-mitchell james-d-mitchell added the bugfix A label for PRs that fix a bug label Dec 24, 2020
Copy link
Copy Markdown
Collaborator

@wilfwilson wilfwilson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Brilliant, thanks.

@wilfwilson wilfwilson merged commit c6777ed into digraphs:stable-1.3 Dec 24, 2020
@james-d-mitchell james-d-mitchell deleted the fix-issue-374 branch December 24, 2020 18:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix A label for PRs that fix a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants