Esempi in C# (CSharp) per NotifyLeaderUpdate

Esempio n. 1

 void UpdateLeader(NotifyLeaderUpdate request)
 {
     if (this.LeaderTerm < request.Term)
     {
         this.Leader     = request.Leader;
         this.LeaderTerm = request.Term;
     }
 }

Esempio n. 2

File: ClusterManager.cs Progetto: huangpf/PSharp

 /// <summary>
 /// Updates the leader.
 /// </summary>
 /// <param name="request">NotifyLeaderUpdate</param>
 void UpdateLeader(NotifyLeaderUpdate request)
 {
     if (this.LeaderTerm < request.Term)
     {
         this.Leader = request.Leader;
         this.LeaderTerm = request.Term;
     }
 }