Ajuca


Le invitamos a unirse a nuestra comunidad, puede ser parte de nuestro equipo enviando un artículo.

 

Si usted necesita algunas veces o siempre ciertos programas o scripts, este código comprueba si el programa o script se ha muerto! Momento en que volverá a ejecutarlo de nuevo.

Para estar seguros de esta función, basta con añadir el handler de bloqueo siguiente en la parte superior de la secuencia de comandos (antes de la funcionalidad del script principal):
#!/bin/bash
######### Lock checker ###########
myName="`echo $0 | awk '{print $NF}' FS='/'`"
lockDir="/var/lock/"
lockFile=$lockDir$myName.pid
currentPID=$$
oldPID="`cat $lockFile`"
oldderExist=` kill -0 $oldPID 2>/dev/null ; echo $? `
if [ "$oldderExist" == "0" ]; then echo "An Other Instance Is Running...! PID:$oldPID" ; exit 
else echo $currentPID > $lockFile
fi ######### Lock checker ###########

También, puedes ver este código...


#!/bin/bash

# don't use pid's they can be doubled in theory
# Under *nix, process IDs are usually allocated on a sequential basis,
# beginning at 0 and rising to a maximum value which varies from system to system.
#  -- see: cat /proc/sys/kernel/pid_max
# Once this limit is reached, allocation restarts at 300 and again increases.
# meanwhile if another proccess taken your stored PID-ID you get a double but 
# not the assumed proccess you where looking for!

# use the kernel random generator function instead, the odds of creating
# a few tens of trillions of UUIDs in a year and having one duplicate
uuidkey=`cat /proc/sys/kernel/random/uuid`

# better use /tmp for lockfiles, gets cleaned after reboot if tmpfs is used... 
lockfile=/tmp/${0##*/}.lock

if test -f "$lockfile"
	  then
	    olduuid=`cat $lockfile |awk '{print $2}'`
	    if [ "$olduuid" == "$uuidkey" ]
	      then
		# LoL, this can never be right, one chance in a ...
		echo "This can't be right!, the same UUID's twice"
		echo "new: $uuidkey"
		echo "old: $olduuid"
	      else
		gettimestamp=`cat $lockfile |awk '{print $1}'`
		echo "There is a lockfile, created at: `date -d@$gettimestamp`"
		exit 1
	    fi
	  else
	    echo "`date +%s` $uuidkey" > $lockfile 
fi
# got here, put the rest of the script below...

 

 

Pin It

Escribir un comentario


Código de seguridad
Refescar


Siguenos:


 
 

Ads Patrocinio Ajuca

Patrocine Ajuca: contrate por sólo 20€


Suscriberse a Newsletter

Suscribete a nuestras Newsletter y periódicamente recibirás un resumen de las noticias publicadas.

Buscar

¿Quien está online?

Hay 137 invitados y ningún miembro en línea