mirror/php-rss-bridge
1
0
Fork 0
mirror of https://github.com/RSS-Bridge/rss-bridge.git synced 2025-01-29 11:58:23 +01:00
Code Issues Releases Wiki Activity

[Core] Fix notice of undefined offset when in detached HEAD state. (#1569)

Browse Source
This commit is contained in:
Michael Bemmerl 2020-05-27 21:08:06 +00:00 committed by GitHub
parent a1dd98ff82
commit c4422bdbb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/Configuration.php
View File

@ -244,9 +244,13 @@ final class Configuration {
if(@is_readable($headFile)) { if(@is_readable($headFile)) {
$revisionHashFile = '.git/' . substr(file_get_contents($headFile), 5, -1); $revisionHashFile = '.git/' . substr(file_get_contents($headFile), 5, -1);
$branchName = explode('/', $revisionHashFile)[3]; $parts = explode('/', $revisionHashFile);
if(file_exists($revisionHashFile)) {
return 'git.' . $branchName . '.' . substr(file_get_contents($revisionHashFile), 0, 7); if(isset($parts[3])) {
$branchName = $parts[3];
if(file_exists($revisionHashFile)) {
return 'git.' . $branchName . '.' . substr(file_get_contents($revisionHashFile), 0, 7);
}
} }
} }