diff options
-rwxr-xr-x | Tools/scripts/rmport | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 56adf93ea816..febfac91e4c8 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -352,6 +352,8 @@ usage() # main +trap cleanup 1 2 3 15 + if [ ! -r ${INDEX} ] ; then echo "${INDEX} not readable, exiting" >&2 exit 66 @@ -471,7 +473,3 @@ while [ "${answer}" = "y" ] ; do done commit - -cleanup - -# EOF |