diff options
| -rw-r--r-- | ext/standard/microtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/standard/microtime.c b/ext/standard/microtime.c index 46d1a7b278..9bd45e188d 100644 --- a/ext/standard/microtime.c +++ b/ext/standard/microtime.c @@ -57,7 +57,7 @@ static void _php_gettimeofday(INTERNAL_FUNCTION_PARAMETERS, int mode) ZEND_PARSE_PARAMETERS_END(); if (gettimeofday(&tp, NULL)) { - RETURN_FALSE; + ZEND_ASSERT(0 && "gettimeofday() can't fail"); } if (get_as_float) { |