def _BasenameFromPath(path):
  """Extracts the basename of either a Unix- or Windows- style path,
  assuming it contains either \\ or / but not both.
  """
  short_path = path.split('\\')[-1]
  short_path = short_path.split('/')[-1]
  return short_path