control: tags -1 +unreproducible
Hello,
I could not reproduce the bug (on trixie, version 1.7.1-1),
neither as root, nor as a regular user belonging to davfs2 group,
with the steps you mention.
The PID file is correctly deleted after umount <mountpoint>
returns.
The removal of the PID file is done in the main mount.davfs2 (line
367 of mount_davfs.c). It is not conditional on anything. The only
reason I could see for the non-removal of the PID file is if the
process running mount.davfs2 is stopped with a signal like
SIGKILL.
Best,
Aymeric
-- System Information:
Debian Release: 13.3
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable-security'),
(500, 'oldstable-updates'), (500, 'oldstable-security'), (500,
'stable'), (500, 'oldstable')
Architecture: amd64 (x86_64)
Kernel: Linux 6.12.73+deb13-amd64 (SMP w/8 CPU threads; PREEMPT)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8),
LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages davfs2 depends on:
ii adduser 3.152
ii debconf [debconf-2.0] 1.5.91
ii libc6 2.41-12+deb13u1
ii libneon27t64 0.34.2-1
davfs2 recommends no packages.
davfs2 suggests no packages.
