From b72143a5353de6cb0977def77ddd43885c2a928e Mon Sep 17 00:00:00 2001 From: caoyanyi Date: Wed, 4 Jan 2023 10:20:25 +0800 Subject: [PATCH] * Modify cookie set. --- module/repo/control.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/module/repo/control.php b/module/repo/control.php index 0d0506dc44..327adc59aa 100644 --- a/module/repo/control.php +++ b/module/repo/control.php @@ -428,7 +428,7 @@ class repo extends control if($revision != 'HEAD') { setCookie("repoBranch", $revision, $this->config->cookieLife, $this->config->webRoot, '', false, true); - $this->cookie->repoBranch = $revision; + $this->cookie->set('repoBranch', $revision); } $this->commonAction($repoID, $objectID);