Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Tezos
tezos
Repository
tezos
src
lib_shell
distributed_db.ml
Find file
Blame
History
Permalink
Shell: improve termination
· c80ab663
Grégoire Henry
authored
Feb 20, 2019
Kill the `DistributedDB` before anything else.
c80ab663