def EnsureDir(path):
  """Makes sure that a directory exists at the given path.

  If a directory already exists at that path, nothing is done.
  Otherwise, try to create a directory at that path with os.makedirs.
  If that fails, propagate the resulting OSError exception.

  Args:
    path: The path that you want to refer to a directory.
  """
  try:
    os.makedirs(path)
  except __HOLE__, exc:


    if not (exc.errno == errno.EEXIST and os.path.isdir(path)):
      raise
dataset/ETHPy150Open AppScale/appscale/AppServer/google/appengine/tools/appcfg.py/EnsureDir