-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Il 12/02/2013 18:49, Alessandro T. ha scritto:
> Con il beneficio d'inventario: > > > PID='/var/run/heartbeat.pid' if [ -e "$PID" ] && ( ps --pid `cat > "$PID"` >/dev/null ) then echo si else echo no fi > Grazie Alessandro, appena ho un momento provo anche questo - -- Mario Vittorio Guenzi E-mail jcl...@tiscali.it Si vis pacem, para bellum -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAlEbXBcACgkQm6qs1ZkNrIrRpwCfdQIsmuXW9+UT5QPHS0P7aW00 ZbsAni7zCfCj4Sa91trTGTZoSZ95+n+n =3RSi -----END PGP SIGNATURE----- -- 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/511b5c17.60...@tiscali.it