| commit | 2b85ab1970da6724f519dcfae69ac3b2c660f5fd | [log] [tgz] |
|---|---|---|
| author | Markus Keller <mkeller> | Wed Aug 24 09:46:43 2005 +0000 |
| committer | Markus Keller <mkeller> | Wed Aug 24 09:46:43 2005 +0000 |
| tree | 2fe7b360f16b21a70acf785abb3850370d717d58 | |
| parent | d406d515409dea8e85d6906f18136324b50322f8 [diff] |
added instrumentation to check whether 2nd vm has terminated