/* The definition of the button task itself. See the comments at the top of main.c.  */
void vButtonTask(void *pvParameters)
/* The definition of the button task itself. See the comments at the top of main.c.  */
void vButtonTask(void *pvParameters)
{
	vSemaphoreCreateBinary( xButtonSemaphore );
	for( ;; )
	{
		xSemaphoreTake( xButtonSemaphore, portMAX_DELAY );
		butLED1 = !butLED1;
		vTaskDelay( butDEBOUNCE_DELAY );
		xSemaphoreTake( xButtonSemaphore, 0 );
	}
}