Skip to content

Ingest: catch exceptions in --dev#236

Merged
janezd merged 2 commits into
biolab:masterfrom
janezd:catch-exceptions-in-dev
Jun 12, 2026
Merged

Ingest: catch exceptions in --dev#236
janezd merged 2 commits into
biolab:masterfrom
janezd:catch-exceptions-in-dev

Terminate server process when ingest --dev is terminated

ff50055
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check-translations
succeeded Jun 12, 2026 in 56s