Something wrong with ports sources timestamps

[Sergey Fedorov]

It is the second time in about 12 hrs that all ports are reindexing from
scratch. This should not be happening. Likely something messes up
timestamps on the server side.