Converting unix time to ISO 8631 (hh:mm:ss)

hey guys,
i'm using adafruit cc3000 library retrieve internet time , output in form of unix time. how go converting hh:mm:ss? i'm using time.h following code:

code: [select]

unsigned long currenttime = lastpolledtime + (millis() - sketchtime) / 1000;
time_t currenttime = now();
serial.print (hour());
this returning error "redeclaration of 'uint32 currenttime'"
what doing wrong?
thanks!

code: [select]

unsigned long currenttime = lastpolledtime + (millis() - sketchtime) / 1000;
time_t currenttime = now();
is there programming language allows have 2 variables of same name @ same scope, regardless of whether same type, or not?

if so, c/c++ not among them.

Arduino Forum > Using Arduino > Programming Questions > Converting unix time to ISO 8631 (hh:mm:ss)

arduino