michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-18 04:22:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Sometimes there is no space before a cookie http://virtualmin.com/node/33174

Browse Source
This commit is contained in:
Jamie Cameron
2014-05-19 21:22:24 -07:00
parent 54c70dec8f
commit 43a7f6f809
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
miniserv.pl
View File

@@ -1664,7 +1664,7 @@ if ($config{'userfile'}) {
# Check for a visit to the special session login page
if ($config{'session'} && !$deny_authentication &&
$page eq $config{'session_login'}) {
if ($in{'logout'} && $header{'cookie'} =~ /(^|\s)$sidname=([a-f0-9]+)/) {
if ($in{'logout'} && $header{'cookie'} =~ /(^|\s|;)$sidname=([a-f0-9]+)/) {
# Logout clicked .. remove the session
local $sid = $2;
print $PASSINw "delete $sid\n";
@@ -1798,10 +1798,10 @@ if ($config{'userfile'}) {
$validated = 1;
}
elsif (!$deny_authentication &&
$header{'cookie'} =~ /(^|\s)$sidname=([a-f0-9]+)/) {
$header{'cookie'} =~ /(^|\s|;)$sidname=([a-f0-9]+)/) {
# Try all session cookies
local $cookie = $header{'cookie'};
while($cookie =~ s/(^|\s)$sidname=([a-f0-9]+)//) {
while($cookie =~ s/(^|\s|;)$sidname=([a-f0-9]+)//) {
$session_id = $2;
local $notimeout =
$in{'webmin_notimeout'} ? 1 : 0;