chiark / gitweb /
Merge commit 'd817b49007e60b0e7392f23caf08dc0328eb32de' into HEAD
[secnet.git] / make-secnet-sites
index d7a849468cd9c7823cb1d781abdd05ade47b15e6..4826a445caa5604ca2c61f75a3dc1c8730bc8cf1 100755 (executable)
@@ -417,7 +417,7 @@ class level:
        def prop_out(self,n):
                return self.allow_properties[n](n,str(self.properties[n]))
        def output_props(self,w,ind):
-               for i in self.properties.keys():
+               for i in sorted(self.properties.keys()):
                        if self.allow_properties[i]:
                                self.indent(w,ind)
                                w.write("%s"%self.prop_out(i))
@@ -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")