Miscellany

void time_clean( gchar *pcTime )
{
	guint iIn, iOut ;

	iIn = iOut = 0 ;
	while( pcTime[iIn] )
	{
		if( !g_ascii_isdigit(pcTime[iIn]) )
		{
			iIn++ ;
		}
		else
		{
			pcTime[iOut++] = pcTime[iIn++] ;
		}
	}
	pcTime[iOut] = '\0' ;
}