Bug in hotplug.sdcard script

[FAUX Manuel]

Hi,

I guess I've found a bug in the hotplug.sdcard script of raspi_x_revx.
You're looking for the PIDs of processes using a mount by

ls -l /proc/*/fd/ /proc/*/cwd 2>/dev/null | \
                        grep "sdcard/" | grep -oE "/proc/[[:digit:]]+" | \
                        grep -oE "[[:digit:]]+"

Unfortunately a line of ls -l looks like:

lr-x------    1 root     root            64 Nov 14 15:39 9 -> /mnt/sdcard

So the actual PID is not shown. If you change the ls to

ls -ld /proc/*/fd/*

it should work like intended.
Anyway, I guess the script is not used in the default setup, since
autofs takes care of mounting and re-mounting, correct?

BR,
Manuel