opensourcemirror
/
dokuwiki
mirror of https://github.com/splitbrain/dokuwiki.git
1
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #3978 from dregad/undefined-array-key 

Fix undefined array key warning
This commit is contained in:
Andreas Gohr 2024-01-26 15:10:47 +01:00 committed by GitHub
parent e860a4fbf1 5f21556db6
commit 085622b5ac
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
inc/common.php
View File

@ -937,7 +937,7 @@ function checklock($id)
}
//my own lock
@[$ip, $session] = explode("\n", io_readFile($lock));
[$ip, $session] = sexplode("\n", io_readFile($lock), 2);
if ($ip == $INPUT->server->str('REMOTE_USER') || (session_id() && $session === session_id())) {
return false;
}