[patch] java.patch

java.patch (text/plain), 505 bytes, created by Peter Volkov (RETIRED) on 2007-12-02 13:55:30 UTC

--- java	2007-12-02 16:31:31.000000000 +0300
+++ /usr/bin/java	2007-12-02 16:38:11.000000000 +0300
@@ -16,6 +16,16 @@
 bin=${vmpath}/bin/${tool}
 jrebin=${vmpath}/jre/bin/${tool}
 
+# We should check that /proc is mounted. See: http://bugs.gentoo.org/165330
+case `uname -s` in
+	*Linux* )
+		if [ ! -d "/proc/self/" ] ; then
+			echo "/proc is not mounted, do this: mount -t proc proc /proc"
+			exit 1
+		fi
+		;;
+esac
+
 vm_handle=$(basename ${vmpath})
 if [[ -x ${bin} ]]; then 
 	exec ${bin} "${@}"