diff options
| author | Brian Ashworth <bosrsf04@gmail.com> | 2019-02-17 13:07:04 -0500 |
|---|---|---|
| committer | emersion <contact@emersion.fr> | 2019-02-17 19:15:19 +0100 |
| commit | faf15ee733681f14797d8b47078854a00f03f8fc (patch) | |
| tree | 1d909ff1b9fc25581c32d3a0c8e55e4c49d3ab7f /CONTRIBUTING.md | |
| parent | 487c83f0de9ca2a7650ad636eed6fd694ddcb82e (diff) | |
workspace_next_name: fallback to next available number
This changes `workspace_next_name` to use the next available number as
the workspace name instead of the number of outputs. This fixes the case
where a number that is already in use could be returned. The workspace
numbers in use have no relation to the number of outputs so it makes
more sense to use the lowest available number
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions