Размонтирование сетевой файловой системы при завершении работы

У меня проблема с зависанием системы при выключении в течение минуты или двух. Я начал отслеживать это, и я предполагаю, что причина заключается в следующем: у меня есть davfs2 сетевое подключение в /etc/fstab, и это должно быть автоматически размонтировано при отключении /etc/init.d/umountnfs.sh, Тем не мение, davfs2 не указан в качестве одной из известных сетевых файловых систем (например, nfs, smbfsи т.д.) в этом скрипте, и хотя скрипт проверяет наличие опции монтирования _netdev (который дан в /etc/fstab), он делает это в /etc/mtab, которая является символической ссылкой на /proc/self/mounts и не имеет _netdev Опция в списке. (См. https://people.debian.org/~spaillard/Debian_Release_Notes/mtab.html для краткого объяснения.)

Очевидно, что я могу написать свой собственный маленький обходной путь с помощью специального сценария завершения работы, но кто-нибудь еще сталкивался с этим, или есть какие-то предложения, что делать, например, подать сообщение об ошибке в каком-либо пакете?