Tweak to mirror.php to get synchronization to work better, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2015-01-17 00:Jan:th
Author local date 2015-01-16 16:Jan:th -0800
Committer Chris Pollett <chris@pollett.org>
Committer date 2015-01-17 00:Jan:th
Committer local date 2015-01-16 16:Jan:th -0800
Commit 2a8b1851ec340ebbde1191f67c1b1fa216f99f16
Tree 6f4bc565b093977ea3150c773c05328f0bbad705
Parent 9a5a39dc7bb5e6445508dbec2776a0c01d6042f3
Tweak to mirror.php to get synchronization to work better, a=chris
Affected files:
bin/mirror.php
ViewGit