Flint: Add helper to restart flint
This MR introduce an helper to restart Flint.
As it taks care of unresponding Flint, this can be used to help in case of problem.
Relative to #2541 (closed)
Edited by Valentin Valls
This MR introduce an helper to restart Flint.
As it taks care of unresponding Flint, this can be used to help in case of problem.
Relative to #2541 (closed)