]> granicus.if.org Git - php/commitdiff
fix warning
authorMichael Wallner <mike@php.net>
Fri, 30 Jan 2015 19:11:25 +0000 (20:11 +0100)
committerMichael Wallner <mike@php.net>
Fri, 30 Jan 2015 19:11:25 +0000 (20:11 +0100)
ext/session/session.c

index 0f81945481dcc8d77d4dba04584f51fdf99ff4a1..966e0a6896f8ed86c1542ce6e86dd06cb9867fa3 100644 (file)
@@ -2230,6 +2230,7 @@ static PHP_FUNCTION(session_start)
                                                break;
                                }
                        }
+                       (void) num_idx;
                } ZEND_HASH_FOREACH_END();
        }