diff options
| author | jvoisin | 2018-01-08 10:37:43 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-08 10:38:06 +0100 |
| commit | efcb21ad9788599955f8ca43cfcd21c0403234f5 (patch) | |
| tree | 80d711fcf6a4630baafca4c967e3409bca922432 /src | |
| parent | 5daf1dcacc194d2fcd7260d1f9b06b3a08a8505f (diff) | |
Add a test to see what happens when no configuration file is given
Diffstat (limited to 'src')
| -rw-r--r-- | src/tests/broken_conf_no_file_specified.phpt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/tests/broken_conf_no_file_specified.phpt b/src/tests/broken_conf_no_file_specified.phpt new file mode 100644 index 0000000..df33072 --- /dev/null +++ b/src/tests/broken_conf_no_file_specified.phpt | |||
| @@ -0,0 +1,9 @@ | |||
| 1 | --TEST-- | ||
| 2 | Broken configuration - No configuration file specified | ||
| 3 | --INI-- | ||
| 4 | --SKIPIF-- | ||
| 5 | <?php if (!extension_loaded("snuffleupagus")) print "skip"; ?> | ||
| 6 | --FILE-- | ||
| 7 | <?php echo "1\n"; ?> | ||
| 8 | --EXPECT-- | ||
| 9 | 1 | ||