Fix is_new_file_time by converting floats to int
authorDavid Stainton <dstainton415@gmail.com>
Fri, 25 Sep 2015 08:39:27 +0000 (10:39 +0200)
committerDaira Hopwood <daira@jacaranda.org>
Wed, 30 Sep 2015 15:45:27 +0000 (16:45 +0100)
commitd86cb629018d92555e24c3de0f273a089851208c
tree6c10196eec7987cb6db92fa449fa2a1f5b7b1acf
parentf0b38b5c1de6bb7fabc415cf5fad47fbcc3ea81d
Fix is_new_file_time by converting floats to int
src/allmydata/backupdb.py