UPdate format

portable/ThirdParty/GCC/Posix/port.c

@@ -389,11 +389,13 @@ static void* prvTimerTickHandler(void *arg)
         Thread_t * thread;
 
         hCurrentTask = xTaskGetCurrentTaskHandle();
+
         if( hCurrentTask != NULL )
         {
             thread = prvGetThreadFromTask( hCurrentTask );
             pthread_kill( thread->pthread, SIGALRM );
         }
+
         usleep( portTICK_RATE_MICROSECONDS );
         pthread_testcancel();
     }