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
	pkg-plist:
	+@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,
	right?

PR:		ports/75390
Submitted by:	Simon Barner <barner@gmx.de>

0 files changed, 0 insertions, 0 deletions