diff options
| author | Joe Watkins <krakjoe@php.net> | 2017-01-01 06:44:14 +0000 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2017-01-01 06:44:14 +0000 |
| commit | 15b80f105cdb9a9210edd9dff7109f0951c843f4 (patch) | |
| tree | a1d282f45824bd64c9b62ff3f4561a663ce7db95 /ext/session/php_session.h | |
| parent | 61a43195f5578c33105ca5a0a097a9d974e479f6 (diff) | |
| parent | e10425fe8be2b900af778c85ed823a31d96f8d24 (diff) | |
| download | php-git-15b80f105cdb9a9210edd9dff7109f0951c843f4.tar.gz | |
Merge branch 'pull-request/2261'
* pull-request/2261:
Add PHPAPI php_session_flush and php_session_destroy
Diffstat (limited to 'ext/session/php_session.h')
| -rw-r--r-- | ext/session/php_session.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/session/php_session.h b/ext/session/php_session.h index 4d79eaa2b5..10fedaffdc 100644 --- a/ext/session/php_session.h +++ b/ext/session/php_session.h @@ -255,6 +255,7 @@ PHPAPI int php_session_update_timestamp(PS_UPDATE_TIMESTAMP_ARGS); PHPAPI void session_adapt_url(const char *, size_t, char **, size_t *); +PHPAPI int php_session_destroy(void); PHPAPI void php_add_session_var(zend_string *name); PHPAPI zval *php_set_session_var(zend_string *name, zval *state_val, php_unserialize_data_t *var_hash); PHPAPI zval *php_get_session_var(zend_string *name); @@ -267,6 +268,7 @@ PHPAPI int php_session_register_serializer(const char *name, PHPAPI void php_session_set_id(char *id); PHPAPI int php_session_start(void); +PHPAPI int php_session_flush(int write); PHPAPI ps_module *_php_find_ps_module(char *name); PHPAPI const ps_serializer *_php_find_ps_serializer(char *name); |