Fixes problem when local database is deleted during this
stage of a push replication.

This is probably a temporary commit message as more related
code changes may be necessary (otherwise, this comment
will be removed before merging).