//------------------------------------------------------------------------------
// Very dumb safety-catch to ensure forms are not submitted twice, either by
// a double-click on the submit button, or by a double enter. The
// corresponding markup should be something like
//   <form onSubmit="return safeFormSubmit();" />
//------------------------------------------------------------------------------
var counter = 0;

function safeFormSubmit(form)
{
	if (counter++ > 0)
	{
		return false;
	}
	else
	{
		return true;
	}
}