+
Point of view
All features
deferred class PROCESS_RUNNER
Summary
Direct parents
Insert list: ANY
Known children
Inherit list: PROCESS, PROCESS_SCHEDULER
Overview
Features
{ANY}
execute (program: STRING, arguments: TRAVERSABLE[STRING], keep_environment: BOOLEAN)
deferred procedure
{ANY}
Execute the given program (how the program is discovered is OS-dependent), passing to it the arguments.
The environment is cleared if keep_environment is False.
require
execute_command_line (command_line: STRING, keep_environment: BOOLEAN)
deferred procedure
{ANY}
Execute the command_line through the operating system's basic shell.
The environment is cleared if keep_environment is False.
See also: SYSTEM.execute_command
require
  • command_line /= Void
  • not command_line.is_empty
  • is_ready
is_ready: BOOLEAN
deferred function
{ANY}