diff options
| author | Chris Wilson <chris+github@qwirx.com> | 2006-10-18 19:39:04 +0000 |
|---|---|---|
| committer | Chris Wilson <chris+github@qwirx.com> | 2006-10-18 19:39:04 +0000 |
| commit | 6e725ef45d8800908e93b095bc33ede462c0dcef (patch) | |
| tree | 85414ef04747fd9219a30be5bcfcbd111758309e /lib/server | |
| parent | 17aeccfaa339e16e88cf9597730a6960accb9dfd (diff) | |
Wait longer for server to die in KillServer (takes about 5 seconds on
my box). (refs #3)
Diffstat (limited to 'lib/server')
0 files changed, 0 insertions, 0 deletions