main: remote_trigger after deletions

This commit is contained in:
Thomas Schoebel-Theuer 2017-12-13 00:53:56 +01:00 committed by Thomas Schoebel-Theuer
parent 495c42c9d9
commit 5818d254ce
2 changed files with 7 additions and 1 deletions

View File

@ -4804,8 +4804,13 @@ static int check_deleted(void *buf, struct mars_dent *dent)
goto done; goto done;
} }
if (!strcmp(dent->d_rest, my_id())) if (!strcmp(dent->d_rest, my_id())) {
global->deleted_my_border = serial; global->deleted_my_border = serial;
if (global->deleted_my_border != global->old_deleted_my_border) {
global->old_deleted_my_border = global->deleted_my_border;
mars_remote_trigger();
}
}
/* Compute the minimum of the deletion progress among /* Compute the minimum of the deletion progress among
* the resource members. * the resource members.

View File

@ -110,6 +110,7 @@ struct mars_global {
wait_queue_head_t main_event; wait_queue_head_t main_event;
int global_version; int global_version;
int deleted_my_border; int deleted_my_border;
int old_deleted_my_border;
int deleted_border; int deleted_border;
int deleted_min; int deleted_min;
bool main_trigger; bool main_trigger;