> per questo caso ho già creato in /etc/init.d uno script che lo cancella dai > vari runlevel E se manca la corrente? purtroppo ci sarà sempre una soluzione infelice :)
Gianfranco >________________________________ > Da: Pol Hallen <polhal...@fuckaround.org> >A: Gianfranco Costamagna <costamagnagianfra...@yahoo.it> >Cc: debian-italian@lists.debian.org >Inviato: Venerdì 5 Aprile 2013 16:51 >Oggetto: Re: [bash] PID file > > >> Mettendo il timeout sei sicuro che sia in caso rsync vada in timeout, sia >> in caso che rsync finisce o crasha comunque il pid viene cancellato. > >ok > >> Se il server è giù per i suoi motivi è contemplato già nel timeout. > >ok > >> Ci sono numerosi casi non considerati, ad esempio il fatto che si >> spenga/riavvii il pc durante l'esecuzione di rsync, > >per questo caso ho già creato in /etc/init.d uno script che lo cancella dai >vari runlevel > >> o più in generale lo >> script venga killato a mano La certezza matematica è possibile solo con >> soluzioni veramente complicate ed onerose, e comunque qualche assunzione >> semplificativa la dovrai sempre fare > >concordo > >per ora me lo faccio bastare così e poi vedrò :-) > >grazie per l'aiuto > >Pol -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1365173710.46908.yahoomail...@web172701.mail.ir2.yahoo.com
