Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Grunder <michael.grunder@gmail.com>2022-09-15 08:54:22 +0300
committerGitHub <noreply@github.com>2022-09-15 08:54:22 +0300
commitb3ce0486690a97832ac02504638d57831eae00ef (patch)
tree5f03314cac7710f9bd1b7bb6ac0a110556c067f1 /redis_session.c
parent0f502c9ec57d5fcadadb001d9a36fb93c9bff9f9 (diff)
Fix non standards conforming prototypes. (#2150)
These now generate warnings with GCC 13
Diffstat (limited to 'redis_session.c')
-rw-r--r--redis_session.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/redis_session.c b/redis_session.c
index b3b3d31f..192f890c 100644
--- a/redis_session.c
+++ b/redis_session.c
@@ -129,7 +129,7 @@ redis_pool_free(redis_pool *pool) {
}
/* Retreive session.gc_maxlifetime from php.ini protecting against an integer overflow */
-static int session_gc_maxlifetime() {
+static int session_gc_maxlifetime(void) {
zend_long value = INI_INT("session.gc_maxlifetime");
if (value > INT_MAX) {
php_error_docref(NULL, E_NOTICE, "session.gc_maxlifetime overflows INT_MAX, truncating.");