diff options
Diffstat (limited to 'ext/readline/tests/libedit_write_history_001.phpt')
| -rw-r--r-- | ext/readline/tests/libedit_write_history_001.phpt | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ext/readline/tests/libedit_write_history_001.phpt b/ext/readline/tests/libedit_write_history_001.phpt index 96424e232f..e7013111e7 100644 --- a/ext/readline/tests/libedit_write_history_001.phpt +++ b/ext/readline/tests/libedit_write_history_001.phpt @@ -6,6 +6,7 @@ if (READLINE_LIB != "libedit") die("skip libedit only"); if(substr(PHP_OS, 0, 3) == 'WIN' ) { die('skip not for windows'); } +if (getenv('SKIP_REPEAT')) die("skip readline has global state"); ?> --FILE-- <?php @@ -15,7 +16,6 @@ $name = tempnam('/tmp', 'readline.tmp'); readline_add_history('foo'); readline_add_history(''); readline_add_history(1); -readline_add_history(NULL); readline_write_history($name); var_dump(file_get_contents($name)); @@ -24,9 +24,8 @@ unlink($name); ?> --EXPECT-- -string(21) "_HiStOrY_V2_ +string(20) "_HiStOrY_V2_ foo 1 - " |