summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJohn Estabrook <jestabro@vyos.io>2022-09-01 14:57:42 -0500
committerJohn Estabrook <jestabro@vyos.io>2022-09-01 14:57:42 -0500
commit71432f2eda8c33f761337aa95d4b98d02f2dcd79 (patch)
tree79b2f5b134ecdedc8b1f8c0240f6f9fa7c417eb2 /src
parent97d11bf2bda65c7001ad687fd088a896161fdb0d (diff)
downloadvyos1x-config-71432f2eda8c33f761337aa95d4b98d02f2dcd79.tar.gz
vyos1x-config-71432f2eda8c33f761337aa95d4b98d02f2dcd79.zip
Revert "Merge pull request #11 from jestabro/tag-node-name-whitespace"
This reverts commit 97d11bf2bda65c7001ad687fd088a896161fdb0d, reversing changes made to 40f7d2af65a2358bb37661121f1752abf4f099fc.
Diffstat (limited to 'src')
-rw-r--r--src/config_tree.ml4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/config_tree.ml b/src/config_tree.ml
index 2d3fe30..8c95b1f 100644
--- a/src/config_tree.ml
+++ b/src/config_tree.ml
@@ -211,9 +211,7 @@ struct
never themselves tag nodes *)
let inner = List.map (render_node indent (level + 1)) children in
let inner = String.concat "" inner in
- 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
+ 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