/usr/share/mozart/doc/system/node52.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>17 Detecting and Handling Distribution Problems: Fault</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node51.html#chapter.discovery"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node53.html#chapter.dpinit">Next >></A></TD></TR></TABLE><DIV id="chapter.fault"><H1><A name="chapter.fault">17 Detecting and Handling Distribution Problems: <CODE>Fault</CODE></A></H1><P>This module is defunct. It has been replaced since Mozart 1.4.0 by new primitives in module <CODE>DP</CODE> (<A href="node46.html#section.dp.fault">Section 11.3</A>). The former functionality could be reproduced, but no effort has been made in that direction, because the new fault model is believed to be superior, although much simpler. </P><P>Only the installation of <EM>watchers</EM> on fault states <CODE>tempFail</CODE> and <CODE>permFail</CODE> is still functional. It is redefined as </P><BLOCKQUOTE class="code"><CODE><SPAN class="keyword">fun</SPAN><SPAN class="variablename"> </SPAN>{<SPAN class="functionname">InstallWatcher</SPAN> Entity FStates WatcherProc}<BR> <SPAN class="keyword">if</SPAN> {List<SPAN class="keyword">.</SPAN>all FStates<BR> <SPAN class="keyword">fun</SPAN><SPAN class="variablename"> </SPAN>{<SPAN class="functionname">$</SPAN> S} {Member S [tempFail permFail]} <SPAN class="keyword">end</SPAN>}<BR> <SPAN class="keyword">then</SPAN> <BR> <SPAN class="keyword">proc</SPAN><SPAN class="variablename"> </SPAN>{<SPAN class="functionname">Loop</SPAN> FS}<BR> <SPAN class="keyword">case</SPAN> FS <SPAN class="keyword">of</SPAN> F<SPAN class="keyword">|</SPAN>Fr <SPAN class="keyword">then</SPAN> <BR> <SPAN class="keyword">if</SPAN> {Member F FStates} <SPAN class="keyword">then</SPAN> <BR> <SPAN class="keyword">thread</SPAN> {WatcherProc Entity F(info:state)} <SPAN class="keyword">end</SPAN> <BR> <SPAN class="keyword">else</SPAN> <BR> {Loop Fr}<BR> <SPAN class="keyword">end</SPAN> <BR> <SPAN class="keyword">else</SPAN> <SPAN class="keyword">skip</SPAN> <SPAN class="keyword">end</SPAN> <BR> <SPAN class="keyword">end</SPAN> <BR> <SPAN class="keyword">in</SPAN> <BR> {DP<SPAN class="keyword">.</SPAN>getFaultStream Entity <SPAN class="keyword">thread</SPAN> {Loop} <SPAN class="keyword">end</SPAN>}<BR> <SPAN class="keyword">true</SPAN> <BR> <SPAN class="keyword">else</SPAN> <BR> <SPAN class="keyword">false</SPAN> <BR> <SPAN class="keyword">end</SPAN> <BR><SPAN class="keyword">end</SPAN></CODE></BLOCKQUOTE><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node51.html#chapter.discovery"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node53.html#chapter.dpinit">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.info.ucl.ac.be/~pvr">Peter Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|