equal
deleted
inserted
replaced
87 # page id, set by htmlheader template |
87 # page id, set by htmlheader template |
88 self.pageid = None |
88 self.pageid = None |
89 self.datadir_url = self._datadir_url() |
89 self.datadir_url = self._datadir_url() |
90 |
90 |
91 @property |
91 @property |
92 def varmaker(self) |
92 def varmaker(self): |
93 varmaker = self.get_page_data('rql_varmaker') |
93 varmaker = self.get_page_data('rql_varmaker') |
94 if varmaker is None: |
94 if varmaker is None: |
95 varmaker = rqlvar_maker() |
95 varmaker = rqlvar_maker() |
96 self.set_page_data('rql_varmaker', varmaker) |
96 self.set_page_data('rql_varmaker', varmaker) |
97 return varmaker |
97 return varmaker |