function terminate_workers()
{
	while (webworkers.n>0)
	{
		var w = webworkers.w[--webworkers.n];
		w.terminate();
	}
}
//This seems nessecery to get back memory
This seems nessecery to get back memory
This seems nessecery to get back memory
function terminate_workers()
{
	while (webworkers.n>0)
	{
		var w = webworkers.w[--webworkers.n];
		w.terminate();
	}
}
function terminate_workers ( ) { while ( webworkers . n > 0 ) { var w = webworkers . w [ -- webworkers . n ] ; w . terminate ( ) ; } }
This seems nessecery to get back memory
This seems nessecery to get back memory