diff options
Diffstat (limited to 'src/gns/test_gns_revocation.sh')
-rwxr-xr-x | src/gns/test_gns_revocation.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gns/test_gns_revocation.sh b/src/gns/test_gns_revocation.sh index 12f0c0881..08a0f8ac1 100755 --- a/src/gns/test_gns_revocation.sh +++ b/src/gns/test_gns_revocation.sh | |||
@@ -1,4 +1,5 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | # This file is in the public domain. | ||
2 | trap "gnunet-arm -e -c test_gns_lookup.conf" SIGINT | 3 | trap "gnunet-arm -e -c test_gns_lookup.conf" SIGINT |
3 | which timeout &> /dev/null && DO_TIMEOUT="timeout 5" | 4 | which timeout &> /dev/null && DO_TIMEOUT="timeout 5" |
4 | 5 | ||