github
/
phpservermon
mirror of https://github.com/phpservermon/phpservermon
1
0
Fork 0
Code Issues Releases Wiki Activity

Fixed undefined index issue 

Fixes #792.
pull/805/head
TimZ99 2019-10-09 20:59:32 +02:00
parent 25e8cece3c
commit cf2566d1d3
No known key found for this signature in database
GPG Key ID: 4D8268DC68E8339D
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/includes/functions.inc.php
View File

@ -479,14 +479,14 @@ function psm_update_available() {
// extract latest version from Github.
preg_match('/"tag_name":"[v](([\d][.][\d][.][\d])(-?\w*))"/', $latest, $latest);
// add latest version to database
if ($latest[2] !== false && strlen($latest[2]) < 15) {
if (!empty($latest) && strlen($latest[2]) < 15) {
psm_update_conf('version_update_check', $latest[2]);
}
} else {
$latest[2] = psm_get_conf('version_update_check');
}
if ($latest[2] !== false) {
if (!empty($latest)) {
$current = psm_get_conf('version');
return version_compare($latest[2], $current, '>');
} else {