diff options
| author | Christian Grothoff <christian@grothoff.org> | 2011-08-01 20:34:26 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2011-08-01 20:34:26 +0000 |
| commit | 91d08e660237ff9a43476aabeb297daeaf9014ed (patch) | |
| tree | 75a7ddc892f420f819a9acc88449836bd6d9f358 /src/include/gnunet_os_lib.h | |
| parent | 83682f2d77f05ec8add6ed7e624a8b796baeaa36 (diff) | |
| download | gnunet-91d08e660237ff9a43476aabeb297daeaf9014ed.tar.gz gnunet-91d08e660237ff9a43476aabeb297daeaf9014ed.zip | |
LRN: Fix _kill() debugging and I/O interpretation
* Don't be verbose by default anymore - use #if DEBUG_OS
* Don't count a failure to write into a control pipe as an error
this DOES happen when the child is dead (which is how a utility
should be when it finishes)
Diffstat (limited to 'src/include/gnunet_os_lib.h')
0 files changed, 0 insertions, 0 deletions