=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/control.tex,v retrieving revision 1.3 retrieving revision 1.5 diff -u -p -r1.3 -r1.5 --- OpenXM/doc/OpenXM-specs/control.tex 2000/01/24 00:57:11 1.3 +++ OpenXM/doc/OpenXM-specs/control.tex 2000/01/24 07:36:35 1.5 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/doc/OpenXM-specs/control.tex,v 1.2 2000/01/23 00:41:08 noro Exp $ +%% $OpenXM: OpenXM/doc/OpenXM-specs/control.tex,v 1.4 2000/01/24 02:48:24 noro Exp $ \section{Session Management} \subsection{Control server} @@ -143,8 +143,10 @@ I/O stream に残るデータの終りを示す. 正しく対応する. */ \begin{figure}[htbp] -\epsfxsize=12cm +\epsfxsize=10cm +\begin{center} \epsffile{reset.eps} +\end{center} \caption{OpenXM reset procedure} \label{reset} \end{figure} @@ -195,7 +197,7 @@ Request: \begin{tabular}{|c|c|} \hline {\tt int32 OX\_COMMAND} & {\tt int32 SM\_control\_kill} \\ \hline -\end{tabular} +\end{tabular}\\ Result: none. \end{enumerate}