diff options
Diffstat (limited to 'src/gns/test_gns_zkey_lookup.sh')
-rwxr-xr-x | src/gns/test_gns_zkey_lookup.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gns/test_gns_zkey_lookup.sh b/src/gns/test_gns_zkey_lookup.sh index 5e67e0ce2..b36a16fa2 100755 --- a/src/gns/test_gns_zkey_lookup.sh +++ b/src/gns/test_gns_zkey_lookup.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 | ||