Portal_
Spawn
Exited
Signal
Callback
GJS API Reference
Xdp-1.0
Xdp
Portal_SpawnExitedSignalCallback
Interface Portal_SpawnExitedSignalCallback
Hierarchy
Portal_SpawnExitedSignalCallback
Callable
Portal_
Spawn
Exited
Signal
Callback
(
$obj
:
Portal
, pid
:
number
, exit_status
:
number
)
:
void
Signal callback interface for
spawn-exited
Parameters
$obj:
Portal
pid:
number
exit_status:
number
Returns
void
Portal_
Spawn
Exited
Signal
Callback
base64:eyJwYWdlTmF2aWdhdGlvbiI6W10sImNsYXNzTmFtZXMiOiJjdXJyZW50IHRzZC1raW5kLWludGVyZmFjZSB0c2QtcGFyZW50LWtpbmQtbmFtZXNwYWNlIiwiaHJlZiI6IlhkcF8xXzAuWGRwLlBvcnRhbF9TcGF3bkV4aXRlZFNpZ25hbENhbGxiYWNrLmh0bWwiLCJuYW1lIjoiUG9ydGFsX1NwYXduRXhpdGVkU2lnbmFsQ2FsbGJhY2sifQ==
Signal callback interface for
spawn-exited