Do not try to close the same resource multiple times

diff --git a/lib/private/files/view.php b/lib/private/files/view.php
index 1037056b0fb1eb86468d0f6a3bc3b916ebf18fba..d310a0fa4e1fcd538028f1c8a79b2ebafc6097fd 100644 (file)
--- a/lib/private/files/view.php
+++ b/lib/private/files/view.php
@@ -670,7 +670,12 @@ class View {
                        $source = fopen($tmpFile, 'r');
                        if ($source) {
                                $this->file_put_contents($path, $source);
-                               fclose($source);
+                               // $this->file_put_contents() might have already closed
+                               // the resource, so we check it, before trying to close it
+                               // to avoid messages in the error log.
+                               if (is_resource($source)) {
+                                       fclose($source);
+                               }
                                unlink($tmpFile);
                                return true;
                        } else {