:0 *$ DEST ?? ^$NULL$ { LOG="deliver: sending message $MSGID to $DEST$NL" :0 $NULL } :0 * ! DEST ?? . { DEST=/ } :0 * DEST ?? .+[^/]$ { DEST="$DEST/" } :0 *$ DEST ?? ^$BASE/\/.+ { DEST="$MATCH" } :0 *$ ! DEST ?? ^\. { DEST=".$DEST" } :0 { LOG="deliver: delivering message $MSGID to $DEST$NL" TRAP="$TRAP; echo \"delivered: \$DESTFILE\" >> '$THISLOGFILE'" :0 $BASE/$DEST }