diff options
Diffstat (limited to 'Admin/containing')
| -rwxr-xr-x | Admin/containing | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Admin/containing b/Admin/containing index d6f5e91..57841a7 100755 --- a/Admin/containing +++ b/Admin/containing @@ -1,6 +1,6 @@ #!/bin/sh # -# Copyright (C) 2015 Free Software Foundation, Inc. +# Copyright (C) 2015-2022 Free Software Foundation, Inc. # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -62,15 +62,15 @@ func_tmpdir () func_tmpdir trap 'exit_status=$? - if test "$signal" != 0; then - echo "caught signal $signal" >&2 + if test "$signal" != EXIT; then + echo "caught signal SIG$signal" >&2 fi rm -rf "$tmp" - exit $exit_status' 0 -for signal in 1 2 3 13 15; do + exit $exit_status' EXIT +for signal in HUP INT QUIT PIPE TERM; do trap '{ signal='$signal'; func_exit 1; }' $signal done -signal=0 +signal=EXIT sed_literal_to_basic_regex='s/\\/\\\\/g s/\[/\\[/g |