|
wxMaxima
|
A wxProcess that tells its runner when it ended, and outlives it if need be. More...
Public Member Functions | |
| Process (TroubleshootingRunner *runner) | |
| void | Orphan () |
| The runner goes away while the process still runs: delete ourselves when it ends. | |
| void | OnTerminate (int WXUNUSED(pid), int status) override |
A wxProcess that tells its runner when it ended, and outlives it if need be.