Skip to content

fix(app): keep orGUI operational when the database drive disconnects - #67

Merged
tifuchs merged 2 commits into
masterfrom
fix/issue-23-db-io-hardening
Aug 4, 2026
Merged

fix(app): keep orGUI operational when the database drive disconnects#67
tifuchs merged 2 commits into
masterfrom
fix/issue-23-db-io-hardening

Conversation

@tifuchs

@tifuchs tifuchs commented Jul 30, 2026

Copy link
Copy Markdown
Owner

fixes database disconnect error path described in issue #23
by subclassing Hdf5TreeModel and overwriting
_closeFileIfOwned
that caused the crash.

@tifuchs
tifuchs merged commit bb0a154 into master Aug 4, 2026
4 checks passed
@tifuchs

tifuchs commented Aug 11, 2026

Copy link
Copy Markdown
Owner Author

Note: master history was rewritten on 2026-08-11.

A Co-Authored-By trailer was removed from 7459b38 ("docs: add CLAUDE.md
and close AGENTS.md coverage gaps"). Removing it required rewriting that
commit and every commit that followed it on master, so this PR's merge
commit has a new SHA:

commit
before bb0a154
after 674d1b2

Only commit messages changed. Every rewritten commit keeps an identical tree,
author and committer, and all merges remain merges, so the code on master is
byte-for-byte what it was.

This PR itself is unaffected: it stays merged, and its commits and diff (served
from refs/pull/67/head) still resolve. Only the "merged commit bb0a154 into
master" reference above now points at a commit that is no longer reachable from
master.

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.

1 participant