Skip to content

Force exit of process if a timeout has occurred - #1354

Merged
edoardopirovano merged 1 commit into
mainfrom
edoardo/force-exit-on-timeout
Nov 10, 2022
Merged

Force exit of process if a timeout has occurred#1354
edoardopirovano merged 1 commit into
mainfrom
edoardo/force-exit-on-timeout