Skip to content

More fixes - #194

Merged
PeterKraus merged 12 commits into
mainfrom
more_fixes
Sep 25, 2026
Merged

PeterKraus merged 12 commits into
mainfrom
more_fixes

Conversation

@PeterKraus

@PeterKraus PeterKraus commented Sep 23, 2026 •

Copy link
Copy Markdown
Contributor
  • All timeouts are in seconds,
  • Fixes to driver database management
  • Attempt to deal with zombie driver processes within the driver manager

@PeterKraus
PeterKraus force-pushed the more_fixes branch 2 times, most recently from 31fe589 to f8b466c Compare September 23, 2026 14:38
@PeterKraus
PeterKraus merged commit 40a927e into main Sep 25, 2026
11 of 12 checks passed
@PeterKraus
PeterKraus deleted the more_fixes branch September 25, 2026 13:44
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