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

Jacek Konieczny jajcus w bnet.pl
Śro, 1 Wrz 2004, 14:02:01 CEST


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




Więcej informacji o liście dyskusyjnej pld-devel-pl