class WEL_PROCESS_LAUNCHER General cluster: wel description: "Launch processes and redirect output: - Use `spawn' to launch a process asynchronously. Note: you cannot retrieve the ouput from a process that was spawned - Use `launch' to launch a process synchronously and process its output if needed." Ancestors ANY WEL_PROCESS_CREATION_CONSTANTS WEL_STARTUP_CONSTANTS WEL_SW_CONSTANTS Queries hidden: BOOLEAN last_launch_successful: BOOLEAN last_process_result: INTEGER_32 Commands launch (a_command_line, a_working_directory: STRING_GENERAL; a_output_handler: ROUTINE [ANY, TUPLE [STRING_8]]) launch_and_refresh (a_command_line, a_working_directory: STRING_GENERAL; a_refresh_handler: ROUTINE [ANY, TUPLE]) run_hidden set_block_size (a_size: INTEGER_32) spawn (a_command_line, a_working_directory: STRING_GENERAL) spawn_with_console (a_command_line, a_working_directory: STRING_GENERAL) terminate_process