Fix naming of node with a number in the name

Fix #1149
This commit is contained in:
Julien Duponchelle committed 2017-07-27 16:06:52 +02:00
1 parent fc6b6b5e63
commit 283b08c2a1
2 files changed
+5 -1

No files matched your search

+2 -1
View File
@@ -368,7 +368,8 @@ class Project:
if base_name is None:
return None
base_name = re.sub(r"[ ]", "", base_name)
base_name = re.sub(r"[0-9]+$", "{0}", base_name)
if base_name in self._allocated_node_names:
base_name = re.sub(r"[0-9]+$", "{0}", base_name)
if '{0}' in base_name or '{id}' in base_name:
# base name is a template, replace {0} or {id} by an unique identifier