Romain Vimont 2daeb1fd5f Reset current installer process
The current_process field was never reset after an installation is
complete. As a consequence, installer_stop() attempted to terminate it,
leading to a warning, at best.
2018-08-15 17:10:07 +02:00
..
2018-08-15 17:10:07 +02:00
2018-05-13 15:33:13 +02:00
2018-08-09 19:14:17 +02:00