/* timer.js -- timer for the online Sudoku player         */
/* Copyright (c) Daily Sudoku 2006.  All rights reserved. */
/* http://www.dailysudoku.com/                            */
/* Author: Sam Griffiths-Jones                            */
/* Email: sudoku@dailysudoku.co.uk                        */

var timeElapsed = 0;
var pause = 1000;

function showTime() {
    if( pause > 0 ) {
	var minutes = Math.floor( timeElapsed/60 );
	var seconds = new String( Math.floor( timeElapsed%60 ) );
	if( seconds.length < 2 ) {
	    seconds = "0"+seconds;
	}
	document.draw.timer.value = minutes+":"+seconds;
	timeElapsed += 1;
	setTimeout( "showTime()", pause );
    }
}

function resetTime( time ) {
    if( time ) {
	timeElapsed = time;
    }
    else {
	timeElapsed = 0;
    }
    if( pause == 0 ) {
	pause = 1000;
	showTime();
    }
}

function pauseTime() {
    pause = 0;
}

function unpauseTime() {
    if( pause == 0 ) {
	pause = 1000;
	showTime();
    }
}

function togglePauseTime() {
    if( pause > 0 ) {
	pauseTime();
    }
    else {
	unpauseTime();
    }
}