changeset 11033 | 63d860a14a17 |
parent 10786 | 2ef74a6e6785 |
child 11035 | 0fb100e8385b |
--- a/web/views/forms.py Fri Dec 18 09:37:15 2015 +0100 +++ b/web/views/forms.py Fri Dec 18 09:23:23 2015 +0100 @@ -369,8 +369,8 @@ self.add_hidden('_cwmsgid', msgid) def add_generation_time(self): - # NB repr is critical to avoid truncation of the timestamp - self.add_hidden('__form_generation_time', repr(time.time()), + # use %f to prevent (unlikely) display in exponential format + self.add_hidden('__form_generation_time', '%.6f' % time.time(), eidparam=True) def add_linkto_hidden(self):