tree b057b6b0e721ab3d141901bc7ba3a2912868d59b
parent 116d9e6f01546c53b545e2efb900bf1f51cc67a0
author Benno Schulenberg <bensberg@justemail.net> 1482337572 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1482337689 +0100

history: avoid crashing when the positionlog file is malformed