def RemoveDir(dirname):
  """Remove an empty directory.

  Remove a directory, ignoring non-existing ones.
  Other errors are passed. This includes the case,
  where the directory is not empty, so it can't be removed.

  @type dirname: str
  @param dirname: the empty directory to be removed

  """
  try:
    os.rmdir(dirname)
  except __HOLE__, err:
    if err.errno != errno.ENOENT:
      raise
dataset/ETHPy150Open ganeti/ganeti/lib/utils/io.py/RemoveDir