]> git.tuebingen.mpg.de Git - paraslash.git/search
Avoid busy loop if someone nasty removes the semaphores currently in use.