diff options
| author | Pierre Joye <pajoye@php.net> | 2011-01-20 07:38:00 +0000 |
|---|---|---|
| committer | Pierre Joye <pajoye@php.net> | 2011-01-20 07:38:00 +0000 |
| commit | 657c934513763f2fc18695f3990fad33c93d32ad (patch) | |
| tree | 651e05e9ebc44c4644b0b8c22ef540d6db381934 /main/streams | |
| parent | e0af377bd8ecb24a7282910f6421423a6153c18e (diff) | |
| download | php-git-657c934513763f2fc18695f3990fad33c93d32ad.tar.gz | |
- don't continue if no valid option value
Diffstat (limited to 'main/streams')
| -rw-r--r-- | main/streams/plain_wrapper.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/main/streams/plain_wrapper.c b/main/streams/plain_wrapper.c index bc65aeb31f..7c48a8eb9d 100644 --- a/main/streams/plain_wrapper.c +++ b/main/streams/plain_wrapper.c @@ -713,6 +713,8 @@ static int php_stdiop_set_option(php_stream *stream, int option, int value, void acc = FILE_MAP_READ | FILE_MAP_WRITE; /* TODO: we should assign a name for the mapping */ break; + default: + return PHP_STREAM_OPTION_RETURN_ERR; } /* create a mapping capable of viewing the whole file (this costs no real resources) */ |