ctrl-c did not always terminate the vagrant running process #532#607

Merged

hoatle merged 1 commit intoteracyhq:developfrom phuonglm:bugs/ctrl_c_problem_fix

Jul 25, 2019

+13-3

Commits on Jul 25, 2019

ctrl-c did not always terminate the vagrant running process teracyhq#532
phuonglm
committed