Отключение сетевой файловой системы при завершении работы

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

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