diff options
| author | Chris Wilson <chris+github@qwirx.com> | 2008-08-07 16:31:32 +0000 |
|---|---|---|
| committer | Chris Wilson <chris+github@qwirx.com> | 2008-08-07 16:31:32 +0000 |
| commit | 0a9ab08aeb2e4936ad46e1bbdf394b737dbab15d (patch) | |
| tree | 2efb0de547caef529dc878a32f597e8733dff395 /lib/server/ServerControl.h | |
| parent | 293b29f88b47236538d63bc3a54d01322b7798b8 (diff) | |
Allow waiting for a process while killing it, will be needed for tests
that fork() to avoid zombies and for ServerIsAlive to work.
Diffstat (limited to 'lib/server/ServerControl.h')
| -rw-r--r-- | lib/server/ServerControl.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/server/ServerControl.h b/lib/server/ServerControl.h index e6058d92..b2e51864 100644 --- a/lib/server/ServerControl.h +++ b/lib/server/ServerControl.h @@ -4,7 +4,7 @@ #include "Test.h" bool HUPServer(int pid); -bool KillServer(int pid); +bool KillServer(int pid, bool WaitForProcess = false); #ifdef WIN32 #include "WinNamedPipeStream.h" |