#!/bin/bash

is_webdav_mounted() {
    local mount_point="$1"
    if mount | grep -q "on $mount_point type davfs"; then
        return 0 # WebDAV ist gemountet
    else
        return 1 # WebDAV ist nicht gemountet
    fi
}