Python: module for creating PID-based lockfile? Python: module for creating PID-based lockfile? python python