chiark / gitweb /
make-secnet-sites: sort the properties
[secnet.git] / make-secnet-sites
index d7a849468cd9c7823cb1d781abdd05ade47b15e6..74b09bd2395092323204dccd59b50d83c7f8a900 100755 (executable)
@@ -430,7 +430,8 @@ class level:
                w.write("%s {\n"%(self.kname()))
                self.output_props(w,ind+2)
                if self.depth==1: w.write("\n");
-               for c in self.children.values():
+               for k in sorted(self.children.keys()):
+                       c=self.children[k]
                        c.output_data(w,path+(c,))
                self.indent(w,ind)
                w.write("};\n")