unsigned int count;
unsigned int hour;
unsigned int mint;
unsigned int sec;
unsigned int timeset = 120;
bool defrost, runCounter;



void setup() {
  Serial.begin(9600); // Any baud rate should work
  fdevopen (putChar, getChar);
pinMode(2, INPUT_PULLUP);
}

void loop() {

if(digitalRead(2) == LOW ){
runCounter = !runCounter;
count = timeset - 1; // preset counter 
}

if (runCounter == true){
if(millis() % 1000 < 1){ // every second
count--; // decrement counter
if(count < 1){
runCounter = false;
count = timeset - 1; // preset counter 
}

hour = count/3600;
mint = ((count % 3600) / 60) + 1;
sec = count % 60;
Serial.print(count);
Serial.print(" ");
Serial.print(F("defrost.txt="));
printf("%d:%02d\"", hour, mint);
Serial.println("");

}



}

}

int getChar (FILE *fp)
{
    while (!(Serial.available()));
    return (Serial.read());
}

int putChar (char c, FILE *fp)
{
    if (c == '\n') {
        putChar ((char) '\r', fp);
    }
    Serial.write (c);
    return 0;
}