Process Module
Contains functions which can be used to start other tools.
Types
Type | Description |
Functions and values
Function or value | Description |
Full Usage:
Process.AlwaysSetProcessEncoding
Returns: bool
|
If set to true the ProcessHelper will start all processes with a custom ProcessEncoding. If set to false (default) only mono processes will be changed.
|
|
The ProcessHelper will start all processes with this encoding if AlwaysSetProcessEncoding is set to true. If AlwaysSetProcessEncoding is set to false (default) only mono processes will be changed.
|
|
|
Full Usage:
Process.defaultEnvVar
Returns: string
|
|
Full Usage:
Process.disableRedirectOutput startInfo
Parameters:
^a
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.disableShellExecute startInfo
Parameters:
ProcStartInfo
Returns: ProcStartInfo
|
|
Full Usage:
Process.ensureProcessesHaveStopped name timeout
Parameters:
string
-
The name of the processes in question.
timeout : TimeSpan
-
The timespan to time out after.
|
|
Full Usage:
Process.getAllByName name
Parameters:
string
-
The process name
Returns: seq<Process>
|
|
Full Usage:
Process.getEnvironmentVariable envKey startInfo
Parameters:
string
startInfo : ^a
Returns: string option
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.getFileName p
Parameters:
Process
-
The process instance to use
Returns: string
|
|
Full Usage:
Process.getRedirectOutputToTrace ()
Parameters:
unit
Returns: bool
|
|
|
|
Full Usage:
Process.killAllByName name
Parameters:
string
-
The process name
|
|
Full Usage:
Process.killAllCreatedProcesses ()
Parameters:
unit
|
|
Full Usage:
Process.killById id
Parameters:
int
-
The process id to kill
|
|
Full Usage:
Process.killFSI ()
Parameters:
unit
|
|
Full Usage:
Process.killMSBuild ()
Parameters:
unit
|
|
|
|
Full Usage:
Process.redirectOutput startInfo
Parameters:
^a
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.removeEnvironmentVariable envKey startInfo
Parameters:
string
-
The environment variable name
startInfo : ^a
-
The start process info
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.setCurrentEnvironmentVariables startInfo
Parameters:
^a
-
The start process info
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.setEnableProcessTracing
Returns: bool -> unit
|
|
Full Usage:
Process.setEnvironment map startInfo
Parameters:
Map<string, string>
startInfo : ^a
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.setEnvironmentVariable envKey envVar startInfo
Parameters:
string
-
The environment variable name
envVar : string
-
The environment variable value
startInfo : ^a
-
The start process info
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.setEnvironmentVariables vars startInfo
Parameters:
seq<string * string>
-
The environment variables to set
startInfo : ^a
-
The start process info
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.setKillCreatedProcesses enable
Parameters:
bool
|
|
Full Usage:
Process.setRedirectOutput shouldRedirect startInfo
Parameters:
bool
startInfo : ^a
Returns: ^a
Modifiers: inline Type parameters: ^a |
|
Full Usage:
Process.setRedirectOutputToTrace
Returns: bool -> unit
|
|
Full Usage:
Process.shellExec args
Parameters:
ExecParams
-
The execution arguments
Returns: int
|
|
Full Usage:
Process.shouldEnableProcessTracing ()
Parameters:
unit
Returns: bool
|
|
Full Usage:
Process.shouldKillCreatedProcesses ()
Parameters:
unit
Returns: bool
|
|
Full Usage:
Process.withFramework proc
Parameters:
ProcStartInfo
-
The process start info
Returns: ProcStartInfo
|
Ensures the executable is run with the full framework. On non-windows platforms that means running the tool by invoking 'mono'.
|