From 98857f8d7a7e8c8ea67c3b68e8d715aa0b964d05 Mon Sep 17 00:00:00 2001
From: Philipp <admin@philipp.info>
Date: Sat, 4 Feb 2023 20:03:44 +0100
Subject: [PATCH] Add exception if lock wasn't successful
---
src/Core/Config/Util/ConfigFileManager.php | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/Core/Config/Util/ConfigFileManager.php b/src/Core/Config/Util/ConfigFileManager.php
index 011dbf0e48..ab3784fd5c 100644
--- a/src/Core/Config/Util/ConfigFileManager.php
+++ b/src/Core/Config/Util/ConfigFileManager.php
@@ -204,6 +204,8 @@ class ConfigFileManager
if (!$content) {
throw new ConfigFileException(sprintf('Couldn\'t read file %s', $filename));
}
+ } else {
+ throw new ConfigFileException(sprintf('Cannot lock file %s', $filename));
}
} finally {
// unlock and close the stream for every circumstances
@@ -319,6 +321,8 @@ class ConfigFileManager
!fflush($configStream)) {
throw new ConfigFileException(sprintf('Cannot modify locked file %s', $filename));
}
+ } else {
+ throw new ConfigFileException(sprintf('Cannot lock file %s', $filename));
}
} finally {
// unlock and close the stream for every circumstances
--
2.39.5