15 Feb
2000
15 Feb
'00
23:12
* Erhard Schwenk wrote on Mon, Feb 14, 2000 at 10:08 +0100:
(prg&) > /var/run/prg.pid
Eher: prg&; echo $$ > /var/run/prg.pid
kill `cat /var/run/prg.pid`
oki, Steffen -- Dieses Schreiben wurde maschinell erstellt, es trägt daher weder Unterschrift noch Siegel. --------------------------------------------------------------------- To unsubscribe, e-mail: suse-linux-unsubscribe@suse.com For additional commands, e-mail: suse-linux-help@suse.com