SOURCES: ejabberd.init - give ejabberd time to shut down on

Jacek Konieczny jajcus at bnet.pl
Wed Sep 1 14:02:01 CEST 2004


On Wed, Sep 01, 2004 at 11:31:28AM +0200, Andrzej Krzysztofowicz wrote:
> jajcus wrote:
> > diff -u SOURCES/ejabberd.init:1.1 SOURCES/ejabberd.init:1.2
> > --- SOURCES/ejabberd.init:1.1	Tue Aug 31 20:58:25 2004
> > +++ SOURCES/ejabberd.init	Wed Sep  1 09:25:01 2004
> > @@ -50,6 +50,7 @@
> >          ;;
> >    restart)
> >          $0 stop
> > +	sleep 2
> >  	$0 start
> 
> Dlaczego akurat 2? To jakas magiczna liczba?

A nie? Przecież w tej branży wszystko opiera się o tę podstawę. ;-)

1 wydawało mi się zbyt oczywiste i krótkie, a za dużo czekać nie ma
sensu. Wiem że to kiepskie rozwiązanie, ale lepszych pomysłów nie mam.
Nie znam Erlanga na tyle, żeby zrobić to tak jak trzeba.

Pozdrowienia,
	Jacek




More information about the pld-devel-pl mailing list