diff DOCS/DVB @ 4526:c619a7271690

Remove some unuseful stuff and don't try to kill an unexisting child process on uninit
author albeu
date Mon, 04 Feb 2002 15:03:18 +0000
parents 9fdc998083cc
children bbb8b01c76d4
line wrap: on
line diff