Class ProcessLauncher
java.lang.Object
VASSAL.tools.io.ProcessLauncher
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionlaunch
(File workDir, OutputStream stdout, OutputStream stderr, String... args) Launches a process.launch
(File workDir, InputStreamPump stdoutPump, InputStreamPump stderrPump, String... args) Launches a process.Launches a process.
-
Field Details
-
exec
-
-
Constructor Details
-
ProcessLauncher
public ProcessLauncher()
-
-
Method Details
-
launch
Launches a process.- Parameters:
args
- the command-line arguments- Throws:
IOException
- if the process fails to launch
-
launch
public ProcessWrapper launch(File workDir, OutputStream stdout, OutputStream stderr, String... args) throws IOException Launches a process.- Parameters:
workDir
- the process' working directorystdout
- the stream where the process' STDOUT is redirectedstderr
- the stream where the process' STDERR is redirectedargs
- the command-line arguments- Throws:
IOException
- if the process fails to launch
-
launch
public ProcessWrapper launch(File workDir, InputStreamPump stdoutPump, InputStreamPump stderrPump, String... args) throws IOException Launches a process.- Parameters:
workDir
- the process' working directorystdoutPump
- the stream where the process' STDOUT is redirectedstderrPump
- the stream where the process' STDERR is redirectedargs
- the command-line arguments- Throws:
IOException
- if the process fails to launch
-