henry (12/09/82)
Set up a pair of entries in crontab so that any traffic arrived from decvax which is still unprocessed by 0900 gets moved into a hold directory, and moved back for processing at 1930. This is strictly a temporary measure, intended to keep late-running traffic out of the way of the users until I can manage a better solution to this.