On some platforms, notably Windows, the GPid type represents a resource which must be closed to prevent resource leaking. Spawn.closePid is provided for this purpose. It should be used on all platforms, even though it doesn't do anything under UNIX.
The process reference to close
On some platforms, notably Windows, the GPid type represents a resource which must be closed to prevent resource leaking. Spawn.closePid is provided for this purpose. It should be used on all platforms, even though it doesn't do anything under UNIX.