diff options
-rwxr-xr-x | db-testing | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/bin/bash -# $Id: db-testing,v 1.11 2006/02/20 06:33:40 judd Exp $ +# $Id: db-testing,v 1.12 2006/03/10 23:17:48 judd Exp $ repoid=4 reponame="testing" @@ -16,7 +16,7 @@ testing_cleanup() { } # catch ^C -trap cleanup SIGINT +trap testing_cleanup SIGINT if [ -f /tmp/.repolck.$repoid ]; then owner=`/bin/ls -l /tmp/.repolck.$repoid | awk '{print $3}'` |