PID spusteneho procesu

[Bc. Radek Krejča]

Ahoj,

VD> # kill -9 `cat /var/run/jak_se_to_jmenuje.pid`
toto se da pouzit, pokud ovsem dany PID soubor ve /var/run existuje,
mne ale jde o jeho vytvoreni. Pokud treba spustim wget, tak jeho PID
ulozit do souboru wget.1.pid, pak uz neni problem to scriptem killnout
a smazat.

-- 
S pozdravem,
 Bc. Radek Krejča
 radek.konference na starnet.cz
 http://www.ceskedomeny.cz