chiark / gitweb /
make-secnet-sites: Provide `serial' property class
[secnet.git] / make-secnet-sites
index 64459475d904b91fb4d825c0fcafe006ff388a25..0f1e8bab8b7d99fc58788e833841a6d0f33a1286 100755 (executable)
@@ -396,6 +396,15 @@ class num (basetype):
        def __str__(self):
                return '%d'%(self.n)
 
+class serial (basetype):
+       def __init__(self,w):
+               self.i=w[1].hexid(4,'serial')
+       def __str__(self):
+               return self.i
+       def forsites(self,version,copy,fs):
+               if version < 2: return []
+               return copy
+
 class address (basetype):
        "A DNS name and UDP port number"
        def __init__(self,w):