Skip to content

Commit

Permalink
Merge branch 'che#3620' into 3616
Browse files Browse the repository at this point in the history
  • Loading branch information
mshaposhnik committed Mar 6, 2017
2 parents 52cf7bc + 274c899 commit a41f88d
Showing 1 changed file with 3 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -130,7 +130,9 @@ public Workspace getWorkspace() {
public void setWorkspace(Workspace workspace) {
if (workspace != null) {
usersWorkspace = workspace;
runtime = new ActiveRuntime(workspace.getRuntime());
if (workspace.getRuntime() != null) {
runtime = new ActiveRuntime(workspace.getRuntime());
}
} else {
usersWorkspace = null;
runtime = null;
Expand Down

0 comments on commit a41f88d

Please sign in to comment.