Re: PID un chiarimento
-----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 jclark@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-----
Reply to: