Попробуйте это.
Вам не хватало правильной реализации window.clearInterval
var c = 10;
var t;
function timedCount() {
document.getElementById('txt').value = c;
c = c - 1;
if (c == 0){
clearTimeout(t);
//alert something here
c = 10;
doMining();
}
}
function doMining() {
t = setInterval(function () {
timedCount();
}, 1000);
}
Подпись window.setInterval
выглядит следующим образом.
var intervalID = window.setInterval(func, delay[, param1, param2, ...]);
var intervalID = window.setInterval(code, delay);