multimedia/linux-realplayer: update to 1.0.2
Realplayer 1.0.1 was not fetchable, so I did the update to 1.0.2.
Please verify that the ports fetches before comitting, since I am
behind a rigid firewall, and I could figure out how to teach
fetch(1) to use a HTTP_PROXY for https.
One thing I am not so sure about is the following addition to
+@unexec rmdir %D/lib/linux-mozilla 2>/dev/null || true
Since I couldn't find the directory in any of the mtree files in
/etc/mtree, I think it's okay to remove the directory if it's empty,
Submitted by: Simon Barner <firstname.lastname@example.org>