diff options
author | cinap_lenrek <cinap_lenrek@felloff.net> | 2013-12-07 07:17:32 +0100 |
---|---|---|
committer | cinap_lenrek <cinap_lenrek@felloff.net> | 2013-12-07 07:17:32 +0100 |
commit | 77611280935dfbd7b976fd9340bf8593bf4320f1 (patch) | |
tree | b9b7a39d8057fd30fcb6fca674356db4df15cd4f /sys/src/9/port/portfns.h | |
parent | 4fd55abb8e6dc11b257699cbd095fa5ef60e1ece (diff) |
devproc: make sure /proc/n/wait waits for the right process children
theres a race when we wait for a process children and that
process exits before we sleep().
Diffstat (limited to 'sys/src/9/port/portfns.h')
-rw-r--r-- | sys/src/9/port/portfns.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sys/src/9/port/portfns.h b/sys/src/9/port/portfns.h index ffeb7315a..6b27eaf2c 100644 --- a/sys/src/9/port/portfns.h +++ b/sys/src/9/port/portfns.h @@ -124,7 +124,6 @@ ulong getmalloctag(void*); ulong getrealloctag(void*); void gotolabel(Label*); char* getconfenv(void); -int haswaitq(void*); long hostdomainwrite(char*, int); long hostownerwrite(char*, int); void hzsched(void); |