Merge pull request #2502 from minus7/workspace-names
Improve new workspace name selection
This commit is contained in:
commit
389610795b
|
@ -205,6 +205,7 @@ char *workspace_next_name(const char *output_name) {
|
||||||
&& workspace_by_name(wso->workspace) == NULL) {
|
&& workspace_by_name(wso->workspace) == NULL) {
|
||||||
free(target);
|
free(target);
|
||||||
target = strdup(wso->workspace);
|
target = strdup(wso->workspace);
|
||||||
|
break;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if (target != NULL) {
|
if (target != NULL) {
|
||||||
|
|
Loading…
Reference in a new issue