Peers now store the seeding phase duration

git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@9 30fcff6e-8de6-41c7-acce-77ff6d1dd07b

1 files changed, 2 insertions, 1 deletions

diff --git a/stage/article.tex b/stage/article.tex
index b373384..8e3df34 100644
--- a/stage/article.tex
+++ b/stage/article.tex
@@ -55,7 +55,7 @@ pulse during this phase, where:
 \begin{itemize}
 	\item $i$ is the round number.
 	\item \textsf{seed$^i$} is the seed of round $i$.
-	\item $T$ is the length of the seeding phase.
+	\item $T$ is the duration of the seeding phase.
 	\item \textsf{S$^i_{pulse}$} is \textsf{sign($\langle$$i$, seed$^i$, $T$$\rangle$, KS$_{priv}$)}.
 \end{itemize}
 
@@ -130,6 +130,7 @@ seed$^i$, $T$, S$^i_{seed}$)}}]
     let nreplies$^i$ = 0;
     let replies$^i$ = $\emptyset$;
     let included$^i$ = $\bot$;
+    let duration$^i$ = T;
     let phase$^i$ = SEEDING;
   end if
 \end{lstlisting}