| version 1.2, 2001/06/20 05:42:48 |
version 1.3, 2001/06/21 03:09:46 |
|
|
| % $OpenXM: OpenXM/doc/ascm2001p/session-management.tex,v 1.1 2001/06/19 07:32:59 noro Exp $ |
% $OpenXM: OpenXM/doc/ascm2001p/session-management.tex,v 1.2 2001/06/20 05:42:48 takayama Exp $ |
| |
|
| \section{Session Management} |
\section{Session Management} |
| \label{secsession} |
\label{secsession} |
| Line 63 It uses ``ssh'' to launch a control server and |
|
| Line 63 It uses ``ssh'' to launch a control server and |
|
| the control server can launch one or more than one |
the control server can launch one or more than one |
| engines. |
engines. |
| |
|
| \subsection{Control server} |
\subsection{Resetting an engine} |
| \label{control} |
\label{control} |
| %In OpenXM we adopted the following simple and robust method to |
%In OpenXM we adopted the following simple and robust method to |
| %control servers. |
%control servers. |