Skip to content

Create SessionService#TerminationNotification as best-effort attempt to notify on worker exit#1210

Merged
nbauernfeind merged 9 commits intodeephaven:mainfrom
nbauernfeind:fatal_err_interceptor
Sep 17, 2021
Merged

Create SessionService#TerminationNotification as best-effort attempt to notify on worker exit#1210
nbauernfeind merged 9 commits intodeephaven:mainfrom
nbauernfeind:fatal_err_interceptor

Commits

Commits on Sep 17, 2021