Portál AbcLinuxu, 12. května 2025 06:16
85 (sleep 2; kill -9 $ParentPID) 86 echo $(date): "Killed $ParentPID" >> log 87 exit 0 88 fi "timeout" 88L, 2740C written $ ./timeout cat Terminated: 15 $ cat log st 6. srpna 2008 22:00:31 CEST: Killed 3555 $Moznosti je milion.. a ten logfile si bud nahod do promenne nekam na zacatek nebo ho muzes davat pres parametr (lepsi).. format data by taky slo udelat lip.. precist nazev prikazu podle pid a zapsat do logu vedle pid i prikaz.. atd atd..
echo $(date): "Killed $ParentPID" >> /tmp/timeout.logspoustel jsem opakovane
./timeout cat /tmp/timeout.loga dival se jak log soubor ma na konci dalsi a dalsi polozky :(
81 exec >/dev/null 0<&1 2>&1 # Suppress error messages 82 sleep $Timeout 83 # tadyodtud 84 cmd=$(ps -p $ParentPID -o command | tail -n 1) 85 if [ -n "$cmd" ] && [ "$cmd" != COMMAND ] 86 then 87 echo "$(date): Killing $ParentPID ($cmd)" >> log 88 fi 89 # sem 90 kill $ParentPID && # Give process time to terminate 91 (sleep 2; kill -1 $ParentPID) && 92 (sleep 2; kill -9 $ParentPID) 93 exit 0 94 fi "timeout" 94L, 2870C written $ ./timeout cat Terminated: 15 $ cat log čt 7. srpna 2008 00:13:34 CEST: Killing 5470 (cat) $ ./timeout echo $ cat log čt 7. srpna 2008 00:13:34 CEST: Killing 5470 (cat) $Ale jinak mi prijde ze je to celkem prasacky udelane (vcetne mojho hacku).. :-/
Tiskni
Sdílej:
ISSN 1214-1267, (c) 1999-2007 Stickfish s.r.o.