diff options
| author | Matthias Wachs <wachs@net.in.tum.de> | 2012-05-12 12:33:06 +0000 |
|---|---|---|
| committer | Matthias Wachs <wachs@net.in.tum.de> | 2012-05-12 12:33:06 +0000 |
| commit | edc613c626ac4ae3e2539b5da8d2fece6fbd6653 (patch) | |
| tree | cb2a9fe2ebdf272c8fff6c0d614b1c0fe256ee51 /src | |
| parent | e127e9d00f6313b36132405c4cf75e1a18056139 (diff) | |
- fix
Diffstat (limited to 'src')
| -rw-r--r-- | src/integration-tests/gnunet_testing.py.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/integration-tests/gnunet_testing.py.in b/src/integration-tests/gnunet_testing.py.in index 7f8c97637..41e709f8c 100644 --- a/src/integration-tests/gnunet_testing.py.in +++ b/src/integration-tests/gnunet_testing.py.in @@ -51,7 +51,10 @@ class Check: time.sleep(1) execs += 1 if ((False == res) and (execs >= timeout)): - print ('Check had timeout after ' +str(timeout)+ 'seconds') + print ('Check had timeout after ' +str(timeout)+ ' seconds') + neg_cont (self) + elif ((False == res) and (execs >= timeout)): + neg_cont (self) else: pos_cont (self) return res |