Re: [bash] PID file
> 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 <polhallen@fuckaround.org>
>A: Gianfranco Costamagna <costamagnagianfranco@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
Reply to: