minor changes
This commit is contained in:
@@ -39,7 +39,6 @@ feature -- Initialization
|
||||
local
|
||||
e: EXECUTION_ENVIRONMENT
|
||||
dn: DIRECTORY_NAME
|
||||
u: CMS_USER
|
||||
do
|
||||
create e
|
||||
create dn.make_from_string (e.current_working_directory)
|
||||
|
||||
@@ -80,7 +80,6 @@ feature -- Basic operation
|
||||
local
|
||||
proc_args: detachable ARRAYED_LIST [STRING_8]
|
||||
l_factory: PROCESS_FACTORY
|
||||
args: like arguments
|
||||
p: detachable PROCESS
|
||||
retried: INTEGER
|
||||
do
|
||||
|
||||
Reference in New Issue
Block a user