decoder not stopped on audio_player_stop()

[karawin]

I think it is better to add some lines like these:
void audio_player_start()
{
renderer_start();
//added--------------
player_instance->media_stream->eof = false;
//----------------------
player_instance->command = CMD_START;
player_status = RUNNING;
}

void audio_player_stop()
{
renderer_stop();
player_instance->command = CMD_STOP;
//added---------------
player_instance->media_stream->eof = true;
//------------------------------------
player_status = STOPPED;
}

Otherwise the decoder is not halted if media_stream->eof is not set .
I don't use web_radio.c. (that's why;-)