if (best_match)
{
get_dev (best_match->me_devname, best_match->me_mountdir, file, NULL,
best_match->me_type, best_match->me_dummy,
best_match->me_remote, NULL, false);
return true;
}
else if (eclipsed_device)
{
error (0, 0, _("cannot access %s: over-mounted by another device"),
quoteaf (file));
exit_status = EXIT_FAILURE;
return true;
}