fix PHP Fatal error: Call to undefined function is_stream() stalling WebDAV

This commit is contained in:
Ralf Becker 2015-02-15 00:14:12 +00:00
parent 00e706cdfb
commit 336072f8d2

View File

@ -651,7 +651,7 @@ class vfs_webdav_server extends HTTP_WebDAV_Server_Filesystem
html::safe_content_header($options['stream'], $options['path'], $options['mimetype'], $options['size'], false, html::safe_content_header($options['stream'], $options['path'], $options['mimetype'], $options['size'], false,
$this->force_download, true); // true = do not send content-type and content-length header, but modify values $this->force_download, true); // true = do not send content-type and content-length header, but modify values
if (!is_stream($options['stream'])) if (!is_resource($options['stream']))
{ {
$options['data'] =& $options['stream']; $options['data'] =& $options['stream'];
unset($options['stream']); unset($options['stream']);