From 6b5ac1bcb90e010a2e66026bd7c06c1484a835ad Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 9 Oct 2017 13:36:08 +0000 Subject: [PATCH] Update wikipage Process and BaseProcess. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1919 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../basic-computing/EiffelProcess-and-EiffelBaseProcess.wiki | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/trunk/solutions/basic-computing/EiffelProcess-and-EiffelBaseProcess.wiki b/documentation/trunk/solutions/basic-computing/EiffelProcess-and-EiffelBaseProcess.wiki index 415da28e..8aebb8c8 100644 --- a/documentation/trunk/solutions/basic-computing/EiffelProcess-and-EiffelBaseProcess.wiki +++ b/documentation/trunk/solutions/basic-computing/EiffelProcess-and-EiffelBaseProcess.wiki @@ -53,11 +53,11 @@ On the `BASE_PROCESS` object, it is possible to configure the execution. |- | `launch` || Launch the execution. |- -| `terminate` || Terminate launched execution. Check `last_termination_successful` after to see if `terminate` succeeded. {{Note|`terminate` executes asynchronously. After calling `terminate`, call `wait_to_exit' to wait for process to exit.}} +| `terminate` || Terminate launched execution. Check `last_termination_successful` after to see if `terminate` succeeded. {{Note|`terminate` executes asynchronously. After calling `terminate`, call `wait_to_exit` to wait for process to exit.}} |- | `terminate_tree` || Terminate process tree starting from current launched process. Check `last_termination_successful` after to see if `terminate_tree` succeeded. `terminate_tree` executes asynchronously. After calling `terminate`, call `wait_to_exit` to wait for process to exit. {{Note|On Unix, this feature can terminate whole process tree only when `is_launched_in_new_process_group` is set to True before new process is launched.}} |- -| `wait_for_exit` || Wait until process has exited. Note: child processes of launched process are not guaranteed to have exited after `wait_for_exit` returns. +| `wait_for_exit` || Wait until process has exited. {{Note|Child processes of launched process are not guaranteed to have exited after `wait_for_exit` returns.}} |- | `wait_for_exit_with_timeout (timeout: INTEGER)` || Wait launched process to exit for at most `timeout` milliseconds. Check `has_exited` after to see if launched process has exited. {{Note|Child processes of launched process are not guaranteed to have exited even if `has_exited` is `True` after `wait_for_exit_with_timeout`.}} |-