Skip to content
This repository was archived by the owner on Nov 25, 2020. It is now read-only.

Commit 8ee6372

Browse files
committed
Fix edge-case where user cannot change its starting workspace
1 parent 860473e commit 8ee6372

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

core/src/plugins/core.conf/class.AbstractConfDriver.php

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -778,7 +778,9 @@ public function switchAction($action, $httpVars, $fileVars)
778778
}
779779
$name = $xmlNode->getAttribute("name");
780780
if (isSet($data[$name]) || $data[$name] === "") {
781-
if ($data[$name] === "" || $userObject->parentRole == null || $userObject->parentRole->filterParameterValue($pluginId, $name, AJXP_REPO_SCOPE_ALL, "") != $data[$name]) {
781+
if ($data[$name] === "" || $userObject->parentRole == null
782+
|| $userObject->parentRole->filterParameterValue($pluginId, $name, AJXP_REPO_SCOPE_ALL, "") != $data[$name]
783+
|| $userObject->personalRole->filterParameterValue($pluginId, $name, AJXP_REPO_SCOPE_ALL, "") != $data[$name]) {
782784
$userObject->personalRole->setParameterValue($pluginId, $name, $data[$name]);
783785
$rChanges = true;
784786
}

0 commit comments

Comments
 (0)