Priority: low


In push-mirror, some commands are piped into sort.  The status of
those commands matter.  Perhaps a "pipe" shell tool would be a good
idea -- one that checks the exit status of both commands.



# tag: Tom Lord Thu Jan 23 02:53:14 2003 (cmd-push-mirror/sloppy-status)
#
