lib/scripts/run-polyml
changeset 3503 390093b95cb0
parent 3055 5da4afa207ad
child 4333 1d326b826851
     1.1 --- a/lib/scripts/run-polyml	Mon Jul 07 09:05:16 1997 +0200
     1.2 +++ b/lib/scripts/run-polyml	Mon Jul 07 09:06:26 1997 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  #
     1.5  # Poly/ML startup script.
     1.6  #
     1.7 -# Global vars: INFILE OUTFILE MLTEXT TERMINATE,
     1.8 +# Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
     1.9  # and from settings
    1.10  
    1.11  
    1.12 @@ -75,5 +75,6 @@
    1.13  
    1.14  NEW_DB_INFO=$(ls -l "$DB")
    1.15  [ -n "$OUTFILE" -a "$DB_INFO" != "$NEW_DB_INFO" ] && $DISCGARB "$OUTFILE"
    1.16 +[ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"
    1.17  
    1.18  exit $RC