Sorry, I messed up the deactivation part in my explanation: It is the "pre-down" clause that never is executed (as hinted by my patch), that is kill_wpa_cli(). That wpa_supplicant was still running, is a different bug/feature (fwiw there is no pid-file).
kill_wpa_cli() also depends on a pid-file, which I do not have on my system. So it won't do anything here, but again, I am not even using WPA. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org