I posted a question about this to the -devel list, but to finalize it --
does anyone object if OneShot is deprecated? The auto-reload feature
just added to CVS is vastly superior in all ways, IMHO. OneShot is a
source of bugs, strange corner cases, and confusion to new users.
If deprecated, I will take all mention of it out of the docs, take it
out of MakeAppWorkDir.py, and put a warning message at the top of the
file, but OneShot will remain around in body if not in spirit, at least