Hi Liliana, > Shouldn't [1] address this very issue? > [1] > http://git.savannah.gnu.org/cgit/guix.git/commit/?id=2a37f174becbafd70591f6eb1d98493c5c1df0e2 no, if the process is running make-systemd-destructor is just an alias for make-kill-destructor. So it does not matter which one we use in this case.
Lars
