diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-09-22 15:31:58 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-09-22 15:31:58 +0200 |
| commit | 73c8b6787c67b9c3b5472559be803e465e50c4b6 (patch) | |
| tree | a76c582d78df62d40142c2fd3f277c22d35a5277 /doc | |
| parent | b022232a59f6b2acd1d183625089dba2b1ee5834 (diff) | |
-do unload plugin, use _exit() after execvp() failure
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions