FileManager: set full_source in set_new_remote_location

GitOrigin-RevId: e088e6858baff79ffc035bb7a05d2ffa5ec77b60
This commit is contained in:
Arseny Smirnov 2019-02-15 22:40:09 +03:00
parent b5d5e3097e
commit 49965b4ab7

View File

@ -174,12 +174,14 @@ void FileNode::set_new_remote_location(NewRemoteFileLocation new_remote) {
on_changed();
}
remote_.full = new_remote.full;
remote_.full_source = new_remote.full_source;
remote_.is_full_alive = new_remote.is_full_alive;
} else {
if (remote_.full) {
VLOG(update_file) << "File " << main_file_id_ << " has lost remote location";
remote_.full = {};
remote_.is_full_alive = false;
remote_.full_source = FileLocationSource::None;
on_changed();
}
}