Skip to content

hot restart: block new starts if previous process is still initializing#553

Merged
mattklein123 merged 2 commits intomasterfrom
hot_restart_init_block
Mar 10, 2017
Merged

hot restart: block new starts if previous process is still initializing#553
mattklein123 merged 2 commits intomasterfrom
hot_restart_init_block

Commits

Commits on Mar 9, 2017