For anyone interested in having a media player that has the 2 basic features of loading .m3u
local playlists and being capable of looping their content:
After some testings I've found a plugin that does these 2 things I needed for now, and it
wasn't too far away to get, it's the included in OpenATV 7.3, 'Media Player'. This can load
.m3u local files and has the option to loop the playlist.
The Loop feature will loop the whole list of streams, but if you want only one stream to be
looped, just in case it disconnects, you can simply create a playlist with only this stream.
It works perfectly. Of course, you can create several playlists with a single stream, as
you wish.
Another player that can load .m3u local playlists is E2Iplayer, but I haven't found the Loop
option.
Will try some more players when I can. It's good to have more than one ready in case one
fails.