def _GetTime(time_string):
  hourstr, minutestr = time_string.split(':')
  return datetime.time(int(hourstr), int(minutestr))
Converts a string to a datetime.time object.
dataset/ETHPy150Open AppScale/appscale/AppServer/google/appengine/cron/groctimespecification.py/_GetTime