archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 05:58:45 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Fixed bug: #13844

Browse source
This commit is contained in:
foobar 2001-10-27 06:26:02 +00:00
parent 44b68122c2
commit 4a99c5ee5c
3 changed files with 11 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ext/msession/config.m4
View file

@ -27,9 +27,5 @@ if test "$PHP_MSESSION" != "no"; then
PHP_SUBST(PHOENIX_LIB)
PHP_EXTENSION(msession, $ext_shared)
if test "$enable_session" != "no"; then
AC_DEFINE(HAVE_PHP_SESSION,1,[ ])
fi
fi

1
ext/session/config.m4
View file

@ -29,4 +29,5 @@ if test "$PHP_SESSION" != "no"; then
PHP_MISSING_PREAD_DECL
PHP_EXTENSION(session,$ext_shared)
PHP_SUBST(SESSION_SHARED_LIBADD)
AC_DEFINE(HAVE_PHP_SESSION,1,[ ])
fi

12
ext/wddx/wddx.c
View file

@ -211,6 +211,7 @@ static void release_wddx_packet_rsrc(zend_rsrc_list_entry *rsrc TSRMLS_DC)
#include "ext/session/php_session.h"
#if HAVE_PHP_SESSION
/* {{{ PS_SERIALIZER_ENCODE_FUNC
*/
PS_SERIALIZER_ENCODE_FUNC(wddx)
@ -283,16 +284,20 @@ PS_SERIALIZER_DECODE_FUNC(wddx)
return ret;
}
/* }}} */
#endif
/* {{{ PHP_MINIT_FUNCTION
*/
PHP_MINIT_FUNCTION(wddx)
{
le_wddx = zend_register_list_destructors_ex(release_wddx_packet_rsrc, NULL, "wddx", module_number);
#if HAVE_PHP_SESSION
php_session_register_serializer("wddx",
PS_SERIALIZER_ENCODE_NAME(wddx),
PS_SERIALIZER_DECODE_NAME(wddx));
#endif
return SUCCESS;
}
/* }}} */
@ -302,7 +307,10 @@ PHP_MINIT_FUNCTION(wddx)
PHP_MINFO_FUNCTION(wddx)
{
php_info_print_table_start();
php_info_print_table_row(2, "WDDX Support", "enabled" );
php_info_print_table_header(2, "WDDX Support", "enabled" );
#if HAVE_PHP_SESSION
php_info_print_table_row(2, "WDDX Session Serializer", "enabled" );
#endif
php_info_print_table_end();
}
/* }}} */