|
|
@ -155,6 +155,12 @@ public class EnvChangeEntrance { |
|
|
|
return true; |
|
|
|
return true; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|
|
|
|
* 切换到其他环境 |
|
|
|
|
|
|
|
* |
|
|
|
|
|
|
|
* @param workspace 要切换的环境 |
|
|
|
|
|
|
|
* @param envName 要切换的环境名称 |
|
|
|
|
|
|
|
*/ |
|
|
|
private void switch2OtherEnv(Workspace workspace, String envName) { |
|
|
|
private void switch2OtherEnv(Workspace workspace, String envName) { |
|
|
|
WorkContext.switchTo(workspace, new WorkContextCallback() { |
|
|
|
WorkContext.switchTo(workspace, new WorkContextCallback() { |
|
|
|
@Override |
|
|
|
@Override |
|
|
|