diff options
| author | Thierry Vignaud <tv@mandriva.org> | 2008-02-15 13:59:17 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mandriva.org> | 2008-02-15 13:59:17 +0000 |
| commit | 7898cad45f7616ec66b8d24eabb6d26ee56420a0 (patch) | |
| tree | f81665f626f49e620c94537932168b13e516ce49 /emi | |
| parent | 51e82cc75775386901cade70a429689beee801c5 (diff) | |
| download | iurt-7898cad45f7616ec66b8d24eabb6d26ee56420a0.tar iurt-7898cad45f7616ec66b8d24eabb6d26ee56420a0.tar.gz iurt-7898cad45f7616ec66b8d24eabb6d26ee56420a0.tar.bz2 iurt-7898cad45f7616ec66b8d24eabb6d26ee56420a0.tar.xz iurt-7898cad45f7616ec66b8d24eabb6d26ee56420a0.zip | |
log on STDERR if we got SIGTERM or if an uncatched exception happenned
Diffstat (limited to 'emi')
0 files changed, 0 insertions, 0 deletions