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