Restart file update checking after a revert, in case the file was deleted.
Restart file update checking after a revert, in case the file was deleted.

git-svn-id: 765db44a9620ed55f4f8addfd3c14fe8cd57f6bb@2454 0fceea05-a30d-0410-8a8b-80ef821fb0a1

nanoant/Skim,nanoant/Skim,nanoant/Skim,nanoant/Skim,nanoant/Skim