Add exception if lock wasn't successful

This commit is contained in:
Philipp 2023-02-04 20:03:44 +01:00
parent ffa44b8dc0
commit 98857f8d7a
No known key found for this signature in database
GPG key ID: 24A7501396EB5432

View file

@ -204,6 +204,8 @@ class ConfigFileManager
if (!$content) { if (!$content) {
throw new ConfigFileException(sprintf('Couldn\'t read file %s', $filename)); throw new ConfigFileException(sprintf('Couldn\'t read file %s', $filename));
} }
} else {
throw new ConfigFileException(sprintf('Cannot lock file %s', $filename));
} }
} finally { } finally {
// unlock and close the stream for every circumstances // unlock and close the stream for every circumstances
@ -319,6 +321,8 @@ class ConfigFileManager
!fflush($configStream)) { !fflush($configStream)) {
throw new ConfigFileException(sprintf('Cannot modify locked file %s', $filename)); throw new ConfigFileException(sprintf('Cannot modify locked file %s', $filename));
} }
} else {
throw new ConfigFileException(sprintf('Cannot lock file %s', $filename));
} }
} finally { } finally {
// unlock and close the stream for every circumstances // unlock and close the stream for every circumstances