diff options
| author | Daniil Baturin <daniil@vyos.io> | 2022-08-19 23:56:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-19 23:56:16 +0100 |
| commit | 97d11bf2bda65c7001ad687fd088a896161fdb0d (patch) | |
| tree | fd2920c640c72b28f937d62ec57b8f7cf8c21f24 /src | |
| parent | 40f7d2af65a2358bb37661121f1752abf4f099fc (diff) | |
| parent | d9cb616df302224a5d7387ddcea4b2a331fea32d (diff) | |
| download | vyos1x-config-97d11bf2bda65c7001ad687fd088a896161fdb0d.tar.gz vyos1x-config-97d11bf2bda65c7001ad687fd088a896161fdb0d.zip | |
Merge pull request #11 from jestabro/tag-node-name-whitespace
T4628: render tag node names containing whitespace in quotes
Diffstat (limited to 'src')
| -rw-r--r-- | src/config_tree.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml index 8c95b1f..2d3fe30 100644 --- a/src/config_tree.ml +++ b/src/config_tree.ml @@ -211,7 +211,9 @@ struct never themselves tag nodes *) let inner = List.map (render_node indent (level + 1)) children in let inner = String.concat "" inner in - Printf.sprintf "%s%s%s %s {\n%s%s}\n" comment indent_str parent name inner indent_str + if String.contains name ' ' then + Printf.sprintf "%s%s%s \"%s\" {\n%s%s}\n" comment indent_str parent name inner indent_str + else Printf.sprintf "%s%s%s %s {\n%s%s}\n" comment indent_str parent name inner indent_str let render_config node = let children = Vytree.children_of_node node in |