I have an index.php script that I use as a post-commit URL on a Google Code site. This script clones a directory and builds a project that may take some work. I want to avoid having this script running more than one time in parallel.
Is there a mechanism I can use to avoid executing that script if another one is already in session?
You can use flock with
LOCK_EXto gain an exclusive lock on a file.E.g.:
For PHP versions after 5.3.2 you need to manually release the lock using
flock($fp, LOCK_UN);