code: def write(path, pid, timestamp):
          
          with open(path, "w") as lockfile:
              print(pid, timestamp, file=lockfile)
docs: Write the contents of a LockFile.
  
          Arguments:
              path (str): Path to lockfile.
              pid (int): The integer process ID.
              timestamp (datetime): The time the lock was aquired.