On Thu, 27 May 2010 17:47:53 +0200
Thomas Dean <78...@web.de> wrote:
> On Thu, May 27, 2010 at 11:32:06 -0400, Kris Maglione wrote:
> > Ok, so that suggests that dash has a problem when its backgrounded
> > children die. Can you try running them with ‘wmiir setsid’ and see
> > if it helps?
>
> Hmm, I'm not sure what I should do. Should I place "wmiir setsid" as a
> command somewhere in the beginning of the script? Sorry, I am not
> so familiar with this kind of things. If that's what you meant, it
> does not help, the scripts still die. I would be happy to investigate
> the issue further, but I might need more detailed instructions...
>
> Thanks and best,
> Thomas
>
Oh, sorry, I thought it was in the man page. Just add ‘wmiir setsid’ to
the front of the lines that start fetchmail and x-terminal-emulator.
--- fetchmail.sh 2010-05-27 11:53:38.000000000 -0400
+++ - 2010-05-27 11:55:29.370951834 -0400
@@ -49,7 +49,7 @@
case "$1" in
1)
- fetchmail &;;
+ wmiir setsid fetchmail &;;
3)
- x-terminal-emulator -e tail -n 200 -f
~/.fetchmaillog &;;
+ wmiir setsid x-terminal-emulator -e
tail -n 200 -f ~/.fetchmaillog &;; esac
fi;;
--
Kris Maglione
When in doubt, use brute force.
--Ken Thompson
