3 Commits

Author	SHA1	Message	Date
Fabio Erculiani	4ddf624999	[scripts] kill stale pids automatically	2012-09-05 09:13:16 +02:00
Fabio Erculiani	4fed801c40	[scripts] signal stale processes to stderr	2012-09-01 13:48:26 +02:00
Fabio Erculiani	e4cef07575	[scripts] move file lock handling for iso_build.sh consumers from crontab	2012-09-01 13:20:14 +02:00