Un petit script pour tuer un processus qui dure trop longtemps (ici php):
#!/bin/bash
/bin/ps -eo pid,etime,command|/bin/grep /usr/local/zend/bin/php|/bin/
Un petit script pour tuer un processus qui dure trop longtemps (ici php):
#!/bin/bash
/bin/ps -eo pid,etime,command|/bin/grep /usr/local/zend/bin/php|/bin/