diff options
| author | jvoisin | 2017-10-25 11:04:19 +0200 |
|---|---|---|
| committer | jvoisin | 2017-10-25 11:04:19 +0200 |
| commit | 30b900fedc5b1584b4d352d47ec3f9406d558be5 (patch) | |
| tree | 74115620a97284d6f2fc9121b5b1d9a7f6e5037f | |
| parent | 4ed5148dce645cc9619598137ed91ab7e79a0978 (diff) | |
Make the testsuite a bit more robust
| -rw-r--r-- | src/tests/dump_request.phpt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/dump_request.phpt b/src/tests/dump_request.phpt index 5fa43c4..c8b31ce 100644 --- a/src/tests/dump_request.phpt +++ b/src/tests/dump_request.phpt | |||
| @@ -21,7 +21,7 @@ cookie_a=data_cookie_a&cookie_b=data_cookie_b | |||
| 21 | sp.configuration_file={PWD}/config/dump_request.ini | 21 | sp.configuration_file={PWD}/config/dump_request.ini |
| 22 | --FILE-- | 22 | --FILE-- |
| 23 | <?php | 23 | <?php |
| 24 | mkdir("/tmp/dump_results/"); | 24 | @mkdir("/tmp/dump_results/"); |
| 25 | echo "1\n"; | 25 | echo "1\n"; |
| 26 | echo system("echo 1337;"); | 26 | echo system("echo 1337;"); |
| 27 | $filename = glob('/tmp/dump_results/*.dump')[0]; | 27 | $filename = glob('/tmp/dump_results/*.dump')[0]; |