The problem is, you can never predict what kind of network people are using (I juse 192.168.12.X at home, 172.16.X.X at the company and most of my friends run 192.168.1.X).

Perhaps I'll do a patch when I've got time as you seem to be satisfied with your solution ;-)

I'm wondering if I have to restart the player application after changing the IP...