cms-dev/isolate — pull request #5 by lerks (2014-08-08 08:42:19+00:00)
Title: use setitimer instead of alarm in isolate

See cms-dev/cms#203.