Changes to gnats/gnats/edit-pr.sh

[Milan Zamazal]

Index: gnats/gnats/edit-pr.sh
diff -c gnats/gnats/edit-pr.sh:1.14 gnats/gnats/edit-pr.sh:1.15
*** gnats/gnats/edit-pr.sh:1.14 Fri Nov  9 17:22:09 2001
--- gnats/gnats/edit-pr.sh      Mon May 20 08:24:33 2002
***************
*** 115,125 ****
  
  # These traps take care of deleting all the /tmp files
  trap 'rm -f $new $new.old $change_msg $fixfil ; exit 0' 0
  trap 'if [ "$locked" != "" ]; then \
          $PR_EDIT --unlock $pr_id ; \
        locked= ; \
        fi ; \
!       rm -f $new $new.old $change_msg $fixfil ; exit 1' 1 2 3 13 15
  
  # find a user name
  if [ "$USER" != "" ]; then
--- 115,126 ----
  
  # These traps take care of deleting all the /tmp files
  trap 'rm -f $new $new.old $change_msg $fixfil ; exit 0' 0
+ # Don't delete $new on error signals
  trap 'if [ "$locked" != "" ]; then \
          $PR_EDIT --unlock $pr_id ; \
        locked= ; \
        fi ; \
!       rm -f $new.old $change_msg $fixfil ; exit 1' 1 2 3 13 15
  
  # find a user name
  if [ "$USER" != "" ]; then