Something like that would probably be a good idea.
int try = 0;
do {
/* try to unmount, return success or ENOENT or whatever */
sleep(++try);
} while(1);
> If some NFS partition cannot be unmounted, can we still force the
> root partition back to R/O status so that it is also marked clean?
>
Yes.
-- The best may slip, and the most cautious fall; He's more than mortal that ne'er err'd at all. -- Pomfret-- Matthias Urlichs \ noris network GmbH / Xlink-POP Nürnberg Schleiermacherstraße 12 \ Linux+Internet / EMail: urlichs@noris.de 90491 Nürnberg (Germany) \ Consulting+Programming+Networking+etc'ing PGP: 1024/4F578875 1B 89 E2 1C 43 EA 80 44 15 D2 29 CF C6 C7 E0 DE Click <A HREF="http://info.noris.de/~smurf/finger">here</A>. 42