Throw exception if file_put_contents failed

vimeo · Feb 18, 2022 · dc87641 · dc87641
1 parent f72f2f6
commit dc87641
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Psalm/Internal/PluginManager/ConfigFile.php b/src/Psalm/Internal/PluginManager/ConfigFile.php
@@ -143,6 +143,9 @@ private function saveXml(DOMDocument $config_xml): void
             }
         }
 
-        file_put_contents($this->path, $new_file_contents);
+        $result = file_put_contents($this->path, $new_file_contents);
+        if ($result === false) {
+            throw new RuntimeException(sprintf('Unable to save xml to %s', $this->path));
+        }
     }
 }