Function doRestart

contributed/modClock/main.js:1285–1290

(clock)

function restart() @ "do_restart";

function doRestart(clock) {
	trace("restart\n");
	if (undefined !== clock)
		clock.display.value("bye ");
	restart();
}