get_identifier


Description:

public unowned string? get_identifier ()

On UNIX, returns the process ID as a decimal string.

On Windows, returns the result of GetProcessId also as a string. If the subprocess has terminated, this will return null.

Parameters:

this

a Subprocess

Returns:

the subprocess identifier, or null if the subprocess has terminated