[BUG+FIX] WPI error if exit sound is defined but theme is missing

[Francesco]

Cause

WPI tries to execute the exit sound even when the main window has not still been completely created.

Fix

in timers.js replace

	StopSound();
	document.getElementById("TimerSound").src=ReplacePath(soundfile).replace(/\"/g,'');

with

	var TimerSoundElement = document.getElementById("TimerSound");
	if (TimerSoundElement)
	{
		StopSound();
		TimerSoundElement.src=ReplacePath(soundfile).replace(/\"/g,'');
	}

Edited September 22, 2011 by Francesco

[Kelsenellenelvian]

got it