Is there a function like ctime that will get just the hours, minutes, and seconds as a char*?
I've tried
time_t time
struct tm* currtime = localtime(time);
printf("%d:%d:%d", currtime->tm_hour, currtime->tm_min, currtime->tm_sec);
but in the case of single digit values it'll print 8:2:5 instead of 08:02:05.