Server now always uses the file timestamp when possible (exception: delete) as "last server timestamp".

The file timestamp (instead of time.time()) results more deterministic for testing purposes.