11a12,20
> # Modified by Matthew Lavy <m.lavy@jesus.cam.ac.uk> to "touch" each new
> # message with a time stamp based on the "Delivery-date:" header.
> # This modification, just like the original code, comes with NO GUARANTEES
> # at all. It depends on a working version of GNU touch (or an equivalent
> # touch which takes textual date stamps with a -d option.
> # 17/10/00
> 
> $TOUCH_CMD='/usr/bin/touch';
> 
30a40,42
> &error("Cannot find $TOUCH_CMD.\nPlease install GNU touch, or change the top line of the script") unless
>     -x $TOUCH_CMD;
> 
43a56
> $first_time = 1;
44a58
>     my $saved_fn = $fn;   
54c68,72
<     close(OUT);
---
>     close(OUT); 
>     unless ($first_time){
> 	system("$TOUCH_CMD -d \"$saved_deliv_time\" $saved_fn");
>     }
>     $first_time = 0;
62a81
> 	$saved_deliv_time = $deliv_time;
69c88,93
< 	if(/^\s+$/o) {
---
> 	#grab timestamp and set $deliv_time
> 	if (my $line = /^Delivery.+/){
> 		$deliv_time = $_;	
> 		$deliv_time =~ s/^Delivery-date:(.+)/$1/;
> 		push @header, $_;
> 	} elsif(/^\s+$/o) {
84d107
<