diff options
| author | Hannes Magnusson <bjori@php.net> | 2011-09-06 15:09:15 +0000 |
|---|---|---|
| committer | Hannes Magnusson <bjori@php.net> | 2011-09-06 15:09:15 +0000 |
| commit | f00b4a7d72ec6cc4e7d8e9855cbc9bba836fabbb (patch) | |
| tree | 35d7cb7b6339537802608d2e97a234cc5172ea8c /ext/readline/readline_cli.c | |
| parent | dc018f3d1085a4090568a2df8fef3ca154ebba0d (diff) | |
| download | php-git-f00b4a7d72ec6cc4e7d8e9855cbc9bba836fabbb.tar.gz | |
Add a constant, READLINE_LIB, to be able to differenciate which lib is being used
Diffstat (limited to 'ext/readline/readline_cli.c')
| -rw-r--r-- | ext/readline/readline_cli.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ext/readline/readline_cli.c b/ext/readline/readline_cli.c index c7c5fabec6..7476b417b1 100644 --- a/ext/readline/readline_cli.c +++ b/ext/readline/readline_cli.c @@ -715,6 +715,12 @@ PHP_MINIT_FUNCTION(cli_readline) ZEND_INIT_MODULE_GLOBALS(cli_readline, cli_readline_init_globals, NULL); REGISTER_INI_ENTRIES(); +#if HAVE_LIBEDIT + REGISTER_STRING_CONSTANT("READLINE_LIB", "libedit", CONST_CS|CONST_PERSISTENT); +#else + REGISTER_STRING_CONSTANT("READLINE_LIB", "readline", CONST_CS|CONST_PERSISTENT); +#endif + GET_SHELL_CB(cb); if (cb) { cb->cli_shell_write = readline_shell_write; |