diff --git a/docu/mars-user-manual.lyx b/docu/mars-user-manual.lyx index aa319467..6844de3a 100644 --- a/docu/mars-user-manual.lyx +++ b/docu/mars-user-manual.lyx @@ -10001,7 +10001,7 @@ marsadm \size scriptsize \begin_inset Tabular - + @@ -11029,6 +11029,107 @@ The time window for checking the aliveness of other nodes in the network. \end_inset +\end_layout + +\end_inset + + + + +\begin_inset Text + +\begin_layout Plain Layout + +\family typewriter +\size scriptsize +\begin_inset Box Frameless +position "t" +hor_pos "c" +has_inner_box 1 +inner_pos "t" +use_parbox 0 +use_makebox 0 +width "20col%" +special "none" +height "1in" +height_special "totalheight" +thickness "0.4pt" +separation "3pt" +shadowsize "4pt" +framecolor "black" +backgroundcolor "none" +status open + +\begin_layout Plain Layout + +\family typewriter +\size scriptsize +--stuck-seconds=$seconds +\end_layout + +\end_inset + + +\end_layout + +\end_inset + + +\begin_inset Text + +\begin_layout Plain Layout + +\size scriptsize +no +\end_layout + +\end_inset + + +\begin_inset Text + +\begin_layout Plain Layout + +\size scriptsize +\begin_inset Box Frameless +position "t" +hor_pos "c" +has_inner_box 1 +inner_pos "t" +use_parbox 0 +use_makebox 0 +width "60col%" +special "none" +height "1in" +height_special "totalheight" +thickness "0.4pt" +separation "3pt" +shadowsize "4pt" +framecolor "black" +backgroundcolor "none" +status open + +\begin_layout Plain Layout + +\size scriptsize +Silencing period. + When replay is hanging +\emph on +unecpectedly +\emph default + for a longer time, spit a WARNING. + Nevertheless, there might be valid reasons, such as completely overloaded + hardware. + Therefore the default is much higher than +\family typewriter +--window +\family default +, around 3600s (1 hour). +\end_layout + +\end_inset + + \end_layout \end_inset