docs: def write_pid_file(fn):
      """ Create a file with our PID. """
      if not fn:
          return None
      if fn == '' or fn == "''":
          # work around argument passings in init-scripts
          return None
      f = open(fn, "w")
      f.write("%s\n" % (os.getpid()))
      f.close()